diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-01-31 20:49:28 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-01-31 20:49:28 -0500 |
| commit | e13600b2dfd3a3573a79fc64ceb55f791ba3aee4 (patch) | |
| tree | 098fd644c29bf0a3ce4284747e9e38c17a4d9946 /etc | |
| parent | 4cbcd9f61f15e999265cb6e95c5afeb874624af5 (diff) | |
Bump submodule for better travis timing logs
Diffstat (limited to 'etc')
| m--------- | etc/coq-scripts | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/etc/coq-scripts b/etc/coq-scripts -Subproject e5a6a33dbd182a659dba531a5e6a97b8ff89cd7 +Subproject 70b32dd2da94b945f4e98064f2fbf78ae0755e6 |