diff options
| author | Enrico Tassi | 2018-02-27 11:43:27 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2018-02-27 11:43:27 +0100 |
| commit | 27294346fffdbb0f719e84787b4f845576e48d46 (patch) | |
| tree | fdbcf02e20b215a72410f9e27d30d4ce20e2c5c0 /mathcomp | |
| parent | 13f26ccc09f87b222f9601892f085276a6ddb8c0 (diff) | |
travis: disable Coq 8.5
Diffstat (limited to 'mathcomp')
0 files changed, 0 insertions, 0 deletions