coq/test-suite/misc/.gitignore, branch master
The formal proof system
Move 4722 (dangling symlink) to misc tests, remove dangling symlink from repo
2018-05-13T12:32:01+00:00
Ralf Jung
2018-05-13T12:32:01+00:00
32fadefb0114ed021818ab1be203df807a198228
Fixes #7065