Merge pull request #418 from christetreault/delete-dir-locals

Delete dir locals
ucsd-progsys · Jul 14, 2015 · 99d6783 · 99d6783
2 parents 79d232d + 8aab26d
commit 99d6783
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 4 deletions.
diff --git a/.dir-locals.el b/.dir-locals.el
diff --git a/.gitignore b/.gitignore
@@ -39,3 +39,4 @@ css/
 
 *.smt2
 .liquid
+.dir-locals.el