diff options
| author | Guillaume Melquiond | 2016-01-01 23:23:14 +0100 |
|---|---|---|
| committer | Guillaume Melquiond | 2016-01-01 23:23:14 +0100 |
| commit | 97c1dfa2f76a61992e600be4f07babb5be9c521e (patch) | |
| tree | dd284ed64bd38afe80966b3bab130a807e668cf5 /kernel/uGraph.ml | |
| parent | beab8bdff2daec9012c12648cad3f9b458a78124 (diff) | |
Remove useless recursive flags.
Diffstat (limited to 'kernel/uGraph.ml')
0 files changed, 0 insertions, 0 deletions