From f2668386e215b65921a59d8710042f7bb01f700b Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Thu, 13 Apr 2017 11:28:54 -0400 Subject: Revert "update coq-scripts" This reverts commit 96d5cedb2cd194e15711ff5b284380539b9a9d99. That commit broke the `lite` target and the `printreversedeps` target, and reverted 2ad2524dba1321e3facdba3c1142e7e7fbbe1634, among other commits. --- etc/coq-scripts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'etc/coq-scripts') diff --git a/etc/coq-scripts b/etc/coq-scripts index 70b32dd2d..878fffa6a 160000 --- a/etc/coq-scripts +++ b/etc/coq-scripts @@ -1 +1 @@ -Subproject commit 70b32dd2da94b945f4e98064f2fbf78ae0755e66 +Subproject commit 878fffa6abdb29db903ccce680b937df7a4f04f9 -- cgit v1.2.3