X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=.gitignore;h=f4076a367e5251160a7b004d50fa8da95f391c74;hb=d48d9af331bfa911b7a7c6b11144d90b25ae1705;hp=4c3cf59714a9a215fd227d903dc94b672ca7557a;hpb=9c5f7f3a67cf5bf3913bdc05fd18405207e16410;p=SXSI%2Fxpathcomp.git diff --git a/.gitignore b/.gitignore index 4c3cf59..f4076a3 100644 --- a/.gitignore +++ b/.gitignore @@ -5,7 +5,9 @@ #*.srx src/XMLTree _build -main.native -main.byte +*.native +*.byte myocamlbuild_config.ml *.log +*_swcsa.* +tests/docs/*.srx