diff options
author | Jason Gross <jgross@mit.edu> | 2017-01-05 14:24:08 -0500 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2017-01-05 14:24:08 -0500 |
commit | de3346f052111a23ada2687af7a8b52150faec4a (patch) | |
tree | c93ad2fcfcbb8737ba91ef7857cdac444b4501e7 /.dir-locals.el.in | |
parent | c07e8d7dd27750737d80c35d0eec124ae48196d9 (diff) |
Replace $(shell pwd) with ${CURDIR}
On Cygwin, `$(shell pwd)` gives a Linux path (`/cygdrive/...`), which
is wrong. We now use `${CURDIR}`, as per
http://stackoverflow.com/a/3679235.
Diffstat (limited to '.dir-locals.el.in')
0 files changed, 0 insertions, 0 deletions