Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Fetching contributors…

Cannot retrieve contributors at this time

8 lines (8 sloc) 0.439 kB
((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")
)))))
Jump to Line
Something went wrong with that request. Please try again.