diff options
author | Jason Gross <jgross@mit.edu> | 2017-06-06 14:16:18 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2017-06-06 14:16:18 -0400 |
commit | 07b28467989b6ede7b5d42dc4c908f96662b0d48 (patch) | |
tree | a4e235faf6f52b4986bc2f00565ac07269ddf2ca /etc | |
parent | 7488682db4cf259e0bb0c886e13301c32a2eeaa2 (diff) |
Bump coq-scripts
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 878fffa6abdb29db903ccce680b937df7a4f04f +Subproject aab93f908cc54fbb1b19332e312f73048c7d5c5 |