diff options
| author | pboutill | 2012-10-23 12:31:28 +0000 |
|---|---|---|
| committer | pboutill | 2012-10-23 12:31:28 +0000 |
| commit | 40b00efff7e47b22c80c677514f9d689c918383c (patch) | |
| tree | cab9f53cefe0e9e5ef04fc643f5d20cdaf2576fc /scripts | |
| parent | 06a07009d7b83fa924ca3e30f6335fba1288c370 (diff) | |
the new .dir-locals.el thanks to Pierre Courtieu
As it says :
Set default directory to coq root ONLY IF variable
coq-project-find-file is non nil. This should remain a
user preference and not be set by default. This setting
is redundant with compile-command above as M-x compile
always CD's to default directory. To enable it add this
to your emacs config: (setq coq-project-find-file t)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15924 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions