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