diff options
| author | Enrico | 2017-02-21 10:07:57 +0100 |
|---|---|---|
| committer | GitHub | 2017-02-21 10:07:57 +0100 |
| commit | eaf377adc3cc66b2f1f240239c543a574d8610de (patch) | |
| tree | 9843daf48a594678a50bee4226f3486feceef4c2 /mathcomp | |
| parent | fea963299463f827257b5eaf4035272be7faed79 (diff) | |
| parent | 62b3f78ee8cb16fcaa95ba7051d050c0e2913018 (diff) | |
Merge pull request #107 from ejgallego/travis+v8.5
[travis] Make v8.5 build again
Diffstat (limited to 'mathcomp')
0 files changed, 0 insertions, 0 deletions