X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=.gitignore;h=f7f3271c2b60dfab09f4be6d5c03b02062a24ccb;hb=9607fb2d34d679e14040f9132625a53f1de5200a;hp=d901824409cf23f2b2d1e1e919900ae81a4464ed;hpb=9a22a94c4202a63947e7bcf47c41fde75157c9cd;p=goals.git diff --git a/.gitignore b/.gitignore index d901824..f7f3271 100644 --- a/.gitignore +++ b/.gitignore @@ -4,8 +4,11 @@ *.cmx *.cma *.cmxa +*.log *.o +/man/*.? + .depend Goalfile Makefile