diff options
| author | Kazuhiko Sakaguchi | 2019-11-29 12:49:37 +0900 |
|---|---|---|
| committer | Kazuhiko Sakaguchi | 2019-11-29 12:49:37 +0900 |
| commit | 96d30e3170e01484b21b019186135fc2d6ebcc53 (patch) | |
| tree | 214c1038f61cf94b507f5b83f67ee1cdb56af98b /mathcomp/_CoqProject | |
| parent | cbc1688d9447860a60cb3ede83099a10bcd408e2 (diff) | |
Fix Makefile
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions