From 22f5069791d4c201441f553c756e32e18b88ffac Mon Sep 17 00:00:00 2001
From: Jason Gross <jagro@google.com>
Date: Wed, 20 Jul 2016 15:26:26 -0700
Subject: Add target for .dir-locals.el

This fixes #31

Thanks @cpitclaudel!
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

(limited to '.gitignore')

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