diff options
| author |  Jason Gross <jagro@google.com> | 2016-06-22 11:31:16 -0700 |
|---|---|---|
| committer | Jason Gross <jagro@google.com> | 2016-06-22 11:31:16 -0700 |
| commit | f6003677e2d58fbfb1364a10d34d838fbfb280e4 (patch) | |
| tree | acff81afa0b9a50ffb8238498a2246fae867cdf5 /.gitmodules | |
| parent | 3d8afe1c9bd905e3a62523e87a2aa7e5d9f5093d (diff) | |
Also build with Coq 8.5 on travis
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions