diff options
author | Jason Gross <jgross@mit.edu> | 2017-04-13 11:28:54 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2017-04-13 11:28:54 -0400 |
commit | f2668386e215b65921a59d8710042f7bb01f700b (patch) | |
tree | 1c540f7978e8b34b9972d8d97f53beff5b59da79 /etc | |
parent | ae0a394291cecd9d057110dcfbb85c82e2866a08 (diff) |
Revert "update coq-scripts"
This reverts commit 96d5cedb2cd194e15711ff5b284380539b9a9d99.
That commit broke the `lite` target and the `printreversedeps` target,
and reverted
2ad2524dba1321e3facdba3c1142e7e7fbbe1634, among other commits.
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 70b32dd2da94b945f4e98064f2fbf78ae0755e6 +Subproject 878fffa6abdb29db903ccce680b937df7a4f04f |