X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=.gitignore;h=d6f602a0be1e85a7641ce7f6112fc4dec793ae2a;hb=ea776e2c87cb6731378f1a5922c2efe916fcca53;hp=7fc4bd7eaaadb94f04e883c378de84be8db3cdc8;hpb=7b4efbdf1b9e4e972f2b1d3c3c5c69235f7a964a;p=SXSI%2Fxpathcomp.git diff --git a/.gitignore b/.gitignore index 7fc4bd7..d6f602a 100644 --- a/.gitignore +++ b/.gitignore @@ -9,4 +9,4 @@ main.native main.byte myocamlbuild_config.ml *.log -*.srx +tests/docs/*