aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJavi Merino <javi.merino@arm.com>2014-10-15 10:38:11 +0100
committerJavi Merino <javi.merino@arm.com>2015-08-12 14:52:42 +0100
commit9780027e7eeb322b40eeaf7c9f498059932bf907 (patch)
tree67ec619d948c38b19b17b51206f34c3555d203e8
parent5c023556bac5fbdffaeed4acb3d0579e4626ddf1 (diff)
downloadtrappy-9780027e7eeb322b40eeaf7c9f498059932bf907.tar.gz
.gitignore: Ignore directory locals
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 0d20b64..317a311 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,2 @@
*.pyc
+.dir-locals.el