From bf12eb93f3f6a6a824a10878878fadd59745aae0 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Sat, 29 Dec 2012 10:57:43 +0100 Subject: Imported Upstream version 8.4pl1dfsg --- .dir-locals.el | 8 -------- 1 file changed, 8 deletions(-) delete mode 100644 .dir-locals.el (limited to '.dir-locals.el') diff --git a/.dir-locals.el b/.dir-locals.el deleted file mode 100644 index 1de1655d..00000000 --- a/.dir-locals.el +++ /dev/null @@ -1,8 +0,0 @@ -((nil . ((eval . (setq default-directory (locate-dominating-file - buffer-file-name - ".dir-locals.el") - tags-file-name (concat default-directory - "TAGS") - camldebug-command-name (concat - default-directory "dev/ocamldebug-coq") -))))) \ No newline at end of file -- cgit v1.2.3