diff options
| author | Enrico | 2016-11-17 13:09:45 +0100 |
|---|---|---|
| committer | GitHub | 2016-11-17 13:09:45 +0100 |
| commit | a4599ba2083ba748dd7a090a4b2eaaa0fc1d295c (patch) | |
| tree | 964ee247bbf305022235217e716578a37be0bf62 /mathcomp/Make | |
| parent | 23e57fb47874331c5feaace883513b7abecdff28 (diff) | |
| parent | 84cc11db01159b17a8dcf4d02dbe0549067d228f (diff) | |
Merge pull request #82 from hivert/fixdoc
Just a trivial typo
Diffstat (limited to 'mathcomp/Make')
0 files changed, 0 insertions, 0 deletions