.dir-locals.el 157 Bytes
Newer Older
Ralf Jung's avatar
Ralf Jung committed
1
2
3
4
5
6
7
8
;;; Directory Local Variables
;;; See Info node `(emacs) Directory Variables' for more information.

((coq-mode
  (coq-load-path
   (rec "./" "RecDom"))))