From f0e6e8559ab4950e3629f771ed2eaa166636dcd6 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Mon, 24 Apr 2017 13:09:06 -0400
Subject: Track .dir-locals.el rather than generating it

Since we're only using one version of coqprime, we no longer need to
generate .dir-locals.el
---
 .gitignore | 1 -
 1 file changed, 1 deletion(-)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index db3634707..8547a7612 100644
--- a/.gitignore
+++ b/.gitignore
@@ -6,7 +6,6 @@
 *.vo
 *~
 .#*
-/.dir-locals.el
 Makefile.bak
 Makefile.coq
 Makefile.coq.bak
-- 
cgit v1.2.3