aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/coq-makefile/compat-subdirs
ModeNameSize
-rw-r--r--_CoqProject143logplain
-rwxr-xr-xrun.sh131logplain
d---------subdir36logplain