diff options
| author | Enrico | 2018-03-03 10:24:59 +0100 |
|---|---|---|
| committer | GitHub | 2018-03-03 10:24:59 +0100 |
| commit | 5811c112c2cf6db25b6a2a1b793d3df5e906b261 (patch) | |
| tree | fdbcf02e20b215a72410f9e27d30d4ce20e2c5c0 /mathcomp | |
| parent | 13f26ccc09f87b222f9601892f085276a6ddb8c0 (diff) | |
| parent | 27294346fffdbb0f719e84787b4f845576e48d46 (diff) | |
Merge pull request #181 from gares/travis/no85
travis: disable Coq 8.5
Diffstat (limited to 'mathcomp')
0 files changed, 0 insertions, 0 deletions