diff options
| author | Cyril Cohen | 2019-04-04 16:17:51 +0200 |
|---|---|---|
| committer | GitHub | 2019-04-04 16:17:51 +0200 |
| commit | 7b44a99573fc10e7b55eec22d630719ad01ee7c0 (patch) | |
| tree | 8e15d5c77c39a275715209e4f94e9b4473e58204 /etc | |
| parent | 1dd093cf647e3abdba1da557175e433bdcfaf84a (diff) | |
| parent | 2b40140bb9c9e2620214fd65144af1c0fef4083a (diff) | |
Merge pull request #321 from math-comp/remove-8.6
remove support for Coq 8.6
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions