diff options
| author |  Jason Gross <jgross@mit.edu> | 2018-04-29 15:09:17 -0400 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2018-05-02 15:39:01 -0400 |
| commit | 6a6a03fac7117e1c1e1923cddeb7c19f867c6f3a (patch) | |
| tree | deaaac5767b243015f763ef57fcab42f4bbf7ef8 /.dir-locals.el | |
| parent | d967cb64c72f09dec37187a704fc39fb1bb60687 (diff) | |
Bump versions of Coq we test on travis
Now we test master, v8.8.dev, v8.7.dev, 8.8.0, and 8.7.2, instead of master,
v8.7.dev, and 8.7.1.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions