From fd6b88c9f3b4be9ebf70287a34ae283f8340413a Mon Sep 17 00:00:00 2001 From: Huibo SHI Date: Tue, 11 Mar 2014 16:24:08 +0100 Subject: [PATCH] Ajout de .DS_Store au .gitignore. --- .gitignore | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.17.1