aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorGravatar Jason Gross <jgross@mit.edu>2017-10-06 23:35:58 -0400
committerGravatar Jason Gross <jgross@mit.edu>2017-10-06 23:35:58 -0400
commit657c6db4162a719c7f0b6b3867a16fb482afcc04 (patch)
treee2300cb630837dc9c03c153a0640dfc2bc2cc554 /.gitignore
parent7410277e344d34539cea613e039d5984e2e9aa94 (diff)
Switch Coq {8.6 => 8.6.1} on travis
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions