diff options
| author | Enrico Tassi | 2020-09-11 13:55:40 +0200 |
|---|---|---|
| committer | GitHub | 2020-09-11 13:55:40 +0200 |
| commit | bcbf0850d771c889431fb8d3c073c41059268c05 (patch) | |
| tree | c21bcc2eaefe392975be94274b82e309a25cfa2d /mathcomp/Makefile.common | |
| parent | 4c35b309ece8c57088dffd7bea0ef7878f1d8d12 (diff) | |
Update mathcomp/Makefile.test-suite.coq.local
Co-authored-by: Erik Martin-Dorel <erik@martin-dorel.org>
Diffstat (limited to 'mathcomp/Makefile.common')
0 files changed, 0 insertions, 0 deletions