diff options
| author | Enrico | 2017-09-07 15:03:10 +0200 |
|---|---|---|
| committer | GitHub | 2017-09-07 15:03:10 +0200 |
| commit | dffadb2f3035673c22495dd23e96e0fc739b10ad (patch) | |
| tree | 88788205a96dc97c15c8296309cead28f71faf1f /etc | |
| parent | ed467b353b040f1a87ba7ce3242d28bc9423acbb (diff) | |
travis: also test Coq v8.7
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions