diff options
| author | affeldt-aist | 2020-04-09 13:43:32 +0200 |
|---|---|---|
| committer | GitHub | 2020-04-09 13:43:32 +0200 |
| commit | ad82c5fb56113bdef57e96f6a79000a29803eb38 (patch) | |
| tree | 07c9348f97482124e7a19725863dd3373ea598e5 /mathcomp/_CoqProject | |
| parent | 504a34ba48a29a252c40cfc0467f6b192243b6bc (diff) | |
| parent | 31dec18a2539cfdac70fd87401db2b4b14d81d16 (diff) | |
Merge pull request #474 from llelf/doc-typos
Documentation typos
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions