X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=.gitignore;h=9181bd9ac79e86d81bcce1190386841a785422f2;hp=6902bbf53e2a86c7a79f1bd21da3ddb80319411e;hb=c31dce9d175ad3b9fca57706d6e1f45cd1669d6c;hpb=c6a89f390d6171f99d98f794427c1cce42fbf40c

diff --git a/.gitignore b/.gitignore
index 6902bbf..9181bd9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -9,7 +9,6 @@ tests/*.results/*_tatoo*
 tests/trace/*.html
 tests/trace/*.dot
 tests/trace/*.svg
-configure
 config.status
 Remakefile
 Makefile
@@ -23,5 +22,5 @@ src/trace_css.ml
 src/trace_js.ml
 tests/xmark*.xml
 tests/xmark*.xml.queries
-
+.DS_Store