From: Huibo SHI <shihuibo19@gmail.com>
Date: Tue, 11 Mar 2014 15:24:08 +0000 (+0100)
Subject: Ajout de .DS_Store au .gitignore.
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=fd6b88c9f3b4be9ebf70287a34ae283f8340413a

Ajout de .DS_Store au .gitignore.
---

diff --git a/.gitignore b/.gitignore
index 7c5eb1c..9181bd9 100644
--- 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