X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=.gitignore;h=f4076a367e5251160a7b004d50fa8da95f391c74;hb=d48d9af331bfa911b7a7c6b11144d90b25ae1705;hp=c921081ab5d43da029046ea8e7b2cee814ad7013;hpb=32a3f16135e1a8f78d7fd7629dc1237e9de686b2;p=SXSI%2Fxpathcomp.git diff --git a/.gitignore b/.gitignore index c921081..f4076a3 100644 --- a/.gitignore +++ b/.gitignore @@ -9,4 +9,5 @@ _build *.byte myocamlbuild_config.ml *.log -*_swcsa.* \ No newline at end of file +*_swcsa.* +tests/docs/*.srx