diff options
Diffstat (limited to '.dir-locals.el')
| -rw-r--r-- | .dir-locals.el | 8 |
1 files changed, 0 insertions, 8 deletions
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 |