From 08f9417302e485a83f68e77644ee4bbfe9c4c9b8 Mon Sep 17 00:00:00 2001
From: Peng Wang <wangpeng@csail.mit.edu>
Date: Wed, 3 Feb 2016 12:49:16 -0500
Subject: [PATCH] Added .dir-locals.el in .gitignore

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index 2ab798b..03abf2c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -14,3 +14,4 @@ Makefile.coq
 *.v.d
 *.vo
 frap.tgz
+*.dir-locals.el
\ No newline at end of file