X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=.gitignore;fp=.gitignore;h=953ef8bb95b70786548f9900be789b2767b515c4;hb=d84799925e429516d24acd007d7e9ce75294c444;hp=4c3cf59714a9a215fd227d903dc94b672ca7557a;hpb=d2ff9f393211ec2a0cc79c34329f9eb042f74f5b;p=SXSI%2Fxpathcomp.git diff --git a/.gitignore b/.gitignore index 4c3cf59..953ef8b 100644 --- a/.gitignore +++ b/.gitignore @@ -5,7 +5,7 @@ #*.srx src/XMLTree _build -main.native -main.byte +*.native +*.byte myocamlbuild_config.ml *.log