diff options
| author | Hugo Herbelin | 2015-01-11 20:10:31 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2015-01-11 22:05:14 +0100 |
| commit | 229dd629d2425750ec4e4ea5598804745979b6d2 (patch) | |
| tree | 76eaf1caad7ecf5f6be08f2f4953641939d1afa0 /kernel | |
| parent | 9519878ce3a8e9290a4d7902b1a1dc807252aabb (diff) | |
Fixing wrong duplication message when finding both a .ml and a .ml4 in coqdep.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions