diff options
| author | Erik Martin-Dorel | 2019-03-22 02:56:56 +0100 |
|---|---|---|
| committer | Erik Martin-Dorel | 2019-04-16 15:22:28 +0200 |
| commit | 19ab5bad5ceece0680d94114f3bef9b2a4b0c195 (patch) | |
| tree | 08f55df592aa52057a2dd8a5a0b0eaaf0ef0a926 /mathcomp/_CoqProject | |
| parent | 98c66b28153d7c7d520a96fb73570e80651bd47d (diff) | |
Add commentary sections & Swap order of .make-build, .opam-build
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions