X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=.gitignore;h=4c3cf59714a9a215fd227d903dc94b672ca7557a;hb=124b3b4e8f440f8c996263127336377c9456e090;hp=d6f602a0be1e85a7641ce7f6112fc4dec793ae2a;hpb=ea776e2c87cb6731378f1a5922c2efe916fcca53;p=SXSI%2Fxpathcomp.git

diff --git a/.gitignore b/.gitignore
index d6f602a..4c3cf59 100644
--- a/.gitignore
+++ b/.gitignore
@@ -9,4 +9,3 @@ main.native
 main.byte
 myocamlbuild_config.ml
 *.log
-tests/docs/*