diff options
| author | Reynald Affeldt | 2020-06-04 19:28:19 +0900 |
|---|---|---|
| committer | Reynald Affeldt | 2020-06-04 19:28:19 +0900 |
| commit | 86c72a2a0164b8af1a95eb3799a8055cfa8fbe2a (patch) | |
| tree | 206003136a14bf48dd383394e985adafb01dd1c8 /mathcomp/_CoqProject | |
| parent | 0a999b90fb9517849b70a8bb28895b0e905af2b4 (diff) | |
fix md formatting
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions