summaryrefslogtreecommitdiff
path: root/test-suite/coq-makefile/plugin3
ModeNameSize
-rw-r--r--_CoqProject149logplain
-rwxr-xr-xrun.sh509logplain
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-17 10:22:10 +0000