summaryrefslogtreecommitdiff
path: root/.dir-locals.el
blob: 1de1655dd7071fd5dfec7adaba27c5b1dcd0f039 (plain)
1
2
3
4
5
6
7
8
((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")
)))))