diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-10-06 23:35:58 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-10-06 23:35:58 -0400 |
| commit | 657c6db4162a719c7f0b6b3867a16fb482afcc04 (patch) | |
| tree | e2300cb630837dc9c03c153a0640dfc2bc2cc554 /measure.c | |
| parent | 7410277e344d34539cea613e039d5984e2e9aa94 (diff) | |
Switch Coq {8.6 => 8.6.1} on travis
Diffstat (limited to 'measure.c')
0 files changed, 0 insertions, 0 deletions