Ajout de .DS_Store au .gitignore.

[tatoo.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 7c5eb1c..9181bd9 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -22,5 +22,5 @@ src/trace_css.ml
 src/trace_js.ml
 tests/xmark*.xml
 tests/xmark*.xml.queries
-
+.DS_Store