diff options
| author |  Jason Gross <jgross@mit.edu> | 2018-02-12 02:37:11 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2018-02-12 02:37:11 -0500 |
| commit | 5e149ebd635754c96aaccbb44bf6653af10a420f (patch) | |
| tree | da32e6c13bdaa8750a8e1d9ca96d0866771e75b3 /etc/coq-scripts | |
| parent | 711c020174dc922d0f45ae7afe28e1c7ea8c9168 (diff) | |
Fix an issue where travis was not building quite the right targets
Diffstat (limited to 'etc/coq-scripts')
0 files changed, 0 insertions, 0 deletions