diff options
| author | Reynald Affeldt | 2020-04-06 03:04:22 +0900 |
|---|---|---|
| committer | Reynald Affeldt | 2020-04-15 21:07:29 +0900 |
| commit | 710a449fad7132a6ac89d19159fda44e48718b1d (patch) | |
| tree | 266097e8c886ffc62c62a459d2982ef798340025 /mathcomp/_CoqProject | |
| parent | 71f2fc1e08817af19edcedf0e2980a499951fba3 (diff) | |
addressing comments about PR#221 of mathcomp
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions