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

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