projects / tatoo.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: f3a0235)
Ajout de .DS_Store au .gitignore.
authorHuibo SHI <shihuibo19@gmail.com>
Tue, 11 Mar 2014 15:24:08 +0000 (16:24 +0100)
committerHuibo SHI <shihuibo19@gmail.com>
Tue, 11 Mar 2014 15:24:08 +0000 (16:24 +0100)
.gitignore patch | blob | history

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
 
Tree Automata TOOlkit