aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/coq-makefile/compat-subdirs/subdir
ModeNameSize
-rw-r--r--Makefile46logplain