summaryrefslogtreecommitdiff
path: root/test-suite/_CoqProject
blob: dc121311d075c744db42f67d1cc847aada4d7d44 (plain)
1
-Q prerequisite TestSuite