diff options
| author | Enrico Tassi | 2020-09-10 15:05:49 +0200 |
|---|---|---|
| committer | GitHub | 2020-09-10 15:05:49 +0200 |
| commit | 8bfcb13c1576a8d6e55dc7c732ec3bda5f5e4f7d (patch) | |
| tree | e9b95bff0ee5becfa285ddd648d621780561ce0c /docs | |
| parent | c0214cdb4a44261db539b48fb76dbdaded87312b (diff) | |
Update mathcomp/Makefile.test-suite.coq.local
Co-authored-by: Erik Martin-Dorel <erik@martin-dorel.org>
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions