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