From: Kim Nguyễn <kn@lri.fr>
Date: Fri, 19 Oct 2012 12:44:55 +0000 (+0200)
Subject: Remove the tests directory from the .gitignore file.
X-Git-Url: http://git.nguyen.vg/gitweb/?p=SXSI%2Fxpathcomp.git;a=commitdiff_plain;h=0aef8c986fff64337070cc2f84ed7dea489093a5

Remove the tests directory from the .gitignore file.
---

diff --git a/.gitignore b/.gitignore
index b0b1eeb..b5e65f7 100644
--- a/.gitignore
+++ b/.gitignore
@@ -10,4 +10,3 @@ _build
 myocamlbuild_config.ml
 *.log
 *_swcsa.*
-tests/*