From 25bcec19c2f07da85e22b1b0e935da486e1379ae Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Thu, 19 Jun 2014 23:12:59 -0700
Subject: [PATCH] sanitize emacs

---
 .gitignore                | 3 +++
 lib/recdom/.dir-locals.el | 8 ++++++++
 2 files changed, 11 insertions(+)
 create mode 100644 .gitignore
 create mode 100644 lib/recdom/.dir-locals.el

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 000000000..db47ad70e
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,3 @@
+*.vo
+*.v.d
+*.glob
diff --git a/lib/recdom/.dir-locals.el b/lib/recdom/.dir-locals.el
new file mode 100644
index 000000000..82ea871da
--- /dev/null
+++ b/lib/recdom/.dir-locals.el
@@ -0,0 +1,8 @@
+;;; Directory Local Variables
+;;; See Info node `(emacs) Directory Variables' for more information.
+
+((coq-mode
+  (coq-load-path
+   (rec "./" "RecDom"))))
+
+
-- 
GitLab