aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorGravatar Benjamin Jones <bjones@galois.com>2012-11-12 17:43:55 -0800
committerGravatar Benjamin Jones <bjones@galois.com>2012-11-12 17:43:55 -0800
commit07cc0d30e33771668100792d28f4f9af033edf08 (patch)
tree435419f56280787b01933e6e91840ac1a7d4b4af /.gitignore
parente1f077504446cc5fd6b718fecdf57f4e40db82bd (diff)
add DS_Store to gitignore
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 7b7fd3a..3e73346 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,3 +4,4 @@ chromedriver.log
doc/jsdoc
doc/manual
.project
+.DS_Store