X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=.gitignore;h=f7f3271c2b60dfab09f4be6d5c03b02062a24ccb;hb=9607fb2d34d679e14040f9132625a53f1de5200a;hp=7593c84bfd5defc380da4f6ebfcc823bea963b0a;hpb=00dfdab0481c531b8608a157dc4c4991f319d7f7;p=goals.git diff --git a/.gitignore b/.gitignore index 7593c84..f7f3271 100644 --- a/.gitignore +++ b/.gitignore @@ -4,9 +4,10 @@ *.cmx *.cma *.cmxa +*.log *.o -/docs/*.1 +/man/*.? .depend Goalfile