From 2497ad1ab15dfc888720b84ba9e1c03a411c5dea Mon Sep 17 00:00:00 2001
From: Jason Gross <jagro@google.com>
Date: Wed, 22 Jun 2016 11:42:18 -0700
Subject: Add coq-scripts submodule for timing scripts

---
 etc/coq-scripts | 1 +
 1 file changed, 1 insertion(+)
 create mode 160000 etc/coq-scripts

(limited to 'etc')

diff --git a/etc/coq-scripts b/etc/coq-scripts
new file mode 160000
index 000000000..d858db1f3
--- /dev/null
+++ b/etc/coq-scripts
@@ -0,0 +1 @@
+Subproject commit d858db1f3a64ea683e46204d0d8f775c5dbff97e
-- 
cgit v1.2.3