diff options
| author | Yves Bertot | 2016-12-20 15:32:48 +0100 |
|---|---|---|
| committer | Yves Bertot | 2016-12-20 15:32:48 +0100 |
| commit | e7369f8e0115c2d32643d2eacd201362f32c9a34 (patch) | |
| tree | 42c4fd30b93c3a663d315124a61a00412d646058 /mathcomp/_CoqProject | |
| parent | 29f6948c82da7ef51562a49d069583ffe77aa0ad (diff) | |
correct a typo in the documentation
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions