From 3b89a26a5266f33dbfdf6968557de29a471098ab Mon Sep 17 00:00:00 2001
From: Jason Gross <jagro@google.com>
Date: Wed, 20 Jul 2016 15:37:24 -0700
Subject: Don't depend on the submodule; copy-paste instead

---
 .gitignore | 1 -
 1 file changed, 1 deletion(-)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 088f0262e..aeba9e55d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -7,7 +7,6 @@
 *~
 .#*
 /.dir-locals.el
-/submodule-update
 Makefile.bak
 Makefile.coq
 Makefile.coq.bak
-- 
cgit v1.2.3