diff options
| author |  Jason Gross <jagro@google.com> | 2016-07-19 09:00:21 -0700 |
|---|---|---|
| committer | Jason Gross <jagro@google.com> | 2016-07-19 09:00:21 -0700 |
| commit | 34246fa38df7b039f046d3851e923283dd07896a (patch) | |
| tree | fe8140659a6f9d94f127bd395a8b5fef60dcd9aa /etc | |
| parent | be7a19c518eb0f2848ac26d2ba9b44ee91ab1e0c (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 0a2f6e9e07d73d4e233d82d490aa5c1ebbbded6 +Subproject 3bdb920cb46ceeaaa93fce83e00ecaeb4276298 |