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

---
 .gitmodules | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 .gitmodules

(limited to '.gitmodules')

diff --git a/.gitmodules b/.gitmodules
new file mode 100644
index 000000000..eb73fc298
--- /dev/null
+++ b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "etc/coq-scripts"]
+	path = etc/coq-scripts
+	url = https://github.com/JasonGross/coq-scripts.git
-- 
cgit v1.2.3