| Age | Commit message (Expand) | Author |
|---|---|---|
| 2018-01-06 | Remove dir-locals and ship suggested helper hooks instead. | Gaëtan Gilbert |
| 2014-07-14 | Don't set global variables from a hidden file. (!) | Matthieu Sozeau |
| 2013-10-22 | emacs config: next-error search path ok even if default-directory unset. | courtieu |
| 2012-11-15 | Fixing emacs diff bug with .dir-locals.el. | courtieu |
| 2012-10-23 | the new .dir-locals.el thanks to Pierre Courtieu | pboutill |
| 2011-08-01 | Added .dir-locals file to take advantage of emacs 23's new Directory-local va... | puech |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |
path: root/.dir-locals.el