diff options
| author | Eric Engestrom <[email protected]> | 2017-07-06 20:25:28 +0100 |
|---|---|---|
| committer | Eric Engestrom <[email protected]> | 2017-07-06 22:59:39 +0100 |
| commit | 076faf8764d3cd8038145286f7533d0a18e82476 (patch) | |
| tree | a7dc59a9fff663e8a06a11750e3a6f62b10950df /.dir-locals.el | |
| parent | bab03c06fc79ec5624982777684d0c5f123c127c (diff) | |
build systems: move git_sha1_gen.sh to bin/
There was no reason for this script to live outside the scripts
directory.
Suggested-by: Brian Paul <[email protected]>
Signed-off-by: Eric Engestrom <[email protected]>
Reviewed-by: Brian Paul <[email protected]>
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions