.dir-locals.el 168 Bytes
Newer Older
1 2 3 4 5
;;; Directory Local Variables
;;; See Info node `(emacs) Directory Variables' for more information.

((coq-mode
  (coq-load-path
6
   (rec "lib/ModuRes/" "ModuRes"))))
7 8