diff options
| author |  Stephane Glondu <steph@glondu.net> | 2012-12-29 10:57:43 +0100 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2012-12-29 10:57:43 +0100 |
| commit | bf12eb93f3f6a6a824a10878878fadd59745aae0 (patch) | |
| tree | 279f64f4b7e4804415ab5731cc7aaa8a4fcfe074 /.dir-locals.el | |
| parent | e0d682ec25282a348d35c5b169abafec48555690 (diff) | |
Imported Upstream version 8.4pl1dfsgupstream/8.4pl1dfsg
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 |