diff options
| author |  Jason Gross <jagro@google.com> | 2016-09-07 14:43:29 -0700 |
|---|---|---|
| committer | Jason Gross <jagro@google.com> | 2016-09-07 14:43:29 -0700 |
| commit | c8a157cb0786acbd163eb3a56e201110782ef527 (patch) | |
| tree | 5b3499619100a59e2af6de0e170a6fed35f477d6 /etc | |
| parent | 780969cfd2655aec5dcdedf155d450aaf955e7d2 (diff) | |
Bump submodule for better timing
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 3bdb920cb46ceeaaa93fce83e00ecaeb4276298 +Subproject e5a6a33dbd182a659dba531a5e6a97b8ff89cd7 |