summaryrefslogtreecommitdiff
path: root/test-suite/coq-makefile/merlin1
ModeNameSize
-rw-r--r--_CoqProject135logplain
-rwxr-xr-xrun.sh204logplain