diff options
| author |  Jason Gross <jagro@google.com> | 2016-07-19 08:14:24 -0700 |
|---|---|---|
| committer | Jason Gross <jagro@google.com> | 2016-07-19 08:14:24 -0700 |
| commit | be7a19c518eb0f2848ac26d2ba9b44ee91ab1e0c (patch) | |
| tree | 895eedc4d16229f8da37e27aa8cf44ab020dae22 /etc | |
| parent | 2a14406a3d0ce41241471dbcb7cbd60fe2a66c59 (diff) | |
Bump submodule
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 d858db1f3a64ea683e46204d0d8f775c5dbff97 +Subproject 0a2f6e9e07d73d4e233d82d490aa5c1ebbbded6 |