diff options
| author | Maxime Dénès | 2017-06-15 11:32:56 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-06-15 11:32:56 +0200 |
| commit | 929dc481c91dc860b69b08dd65fb6f65d5650e23 (patch) | |
| tree | 25093bb866afe843b04b67a5af3cf6ffd640649b /dev | |
| parent | e1d68573015883301cb401861e10233f6442d9ec (diff) | |
Remove dependency on -compat flag in coq_makefile test suite.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions