diff options
| author | Enrico | 2019-05-22 15:21:11 +0200 |
|---|---|---|
| committer | GitHub | 2019-05-22 15:21:11 +0200 |
| commit | 415be3b908daadabf178a292c885db78e5b2c9a4 (patch) | |
| tree | b3c1524f1fcf9f0246966cad8ab89fb94e4ceacd /mathcomp | |
| parent | 497535d575a7f6a20f648441d2f0b5c27fb993a8 (diff) | |
typo
Diffstat (limited to 'mathcomp')
0 files changed, 0 insertions, 0 deletions