Forked from
Iris / Iris
8263 commits behind, 3 commits ahead of the upstream repository.
.dir-locals.el 156 B
;;; Directory Local Variables
;;; See Info node `(emacs) Directory Variables' for more information.
((coq-mode
(coq-load-path
(rec "../../" "_"))))