diff options
| author | Enrico Tassi | 2020-09-10 15:06:33 +0200 |
|---|---|---|
| committer | GitHub | 2020-09-10 15:06:33 +0200 |
| commit | ff61778018f5eff362a50e48e5b3fd30dec962d2 (patch) | |
| tree | 7d20fd50e25f01219d1b961a9a298fb906b3a5c7 /mathcomp/test_suite | |
| parent | 18edef73cdf0fb6671dbfb2e9d5829182a065919 (diff) | |
Update mathcomp/Makefile.test-suite.coq.local
Co-authored-by: Erik Martin-Dorel <erik@martin-dorel.org>
Diffstat (limited to 'mathcomp/test_suite')
0 files changed, 0 insertions, 0 deletions