diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-07-08 20:35:50 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-07-08 20:35:50 -0400 |
| commit | 067be37f5631aba329294d22d4f773246dc95bf1 (patch) | |
| tree | c45ca57f42e3bed36818344f160513b16fd77fb7 /Bedrock | |
| parent | 019a8f76f210c97b56db52964ff022f9e56aee4a (diff) | |
Also test coq v8.7 on travis
Diffstat (limited to 'Bedrock')
0 files changed, 0 insertions, 0 deletions