diff options
| author | Cyril Cohen | 2019-11-29 08:50:04 +0100 |
|---|---|---|
| committer | GitHub | 2019-11-29 08:50:04 +0100 |
| commit | 68efa038ad86f16249c02ac3210875a5edcc569a (patch) | |
| tree | 4534246667e058b13f10aa8c73925a99ac04aee6 /mathcomp/_CoqProject | |
| parent | 1c5f53779a92066746bba8817641b55e436992f2 (diff) | |
| parent | 96d30e3170e01484b21b019186135fc2d6ebcc53 (diff) | |
Merge pull request #444 from pi8027/fix-makefile
Fix the doc-clean target of Makefile
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions