diff options
| author | Jose Fonseca <[email protected]> | 2015-03-23 10:48:31 +0000 |
|---|---|---|
| committer | Jose Fonseca <[email protected]> | 2015-03-25 10:42:26 +0000 |
| commit | 5db57b8a55bb1961f1ada029f63c1f07511d60aa (patch) | |
| tree | 955b37bce7fba1128a5752f984ae5a5d364eff9e /.dir-locals.el | |
| parent | 31a30fb342624658f9ab3f9febd06c59b3a3d2c8 (diff) | |
scons: Fix git_sha1.h generation fallback.
I didn't meant to remove the 'if not os.path.exists(filename)' statement.
Reviewed-by: Brian Paul <[email protected]>
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions