From c73cca5ebf6e0c4983adc45d282a8b3d7c25379d Mon Sep 17 00:00:00 2001 From: Richard Jones Date: Wed, 2 Jun 2010 17:36:42 +0100 Subject: [PATCH] git: Ignore some more generated files. --- .gitignore | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/.gitignore b/.gitignore index 448829d..c05d7f6 100644 --- a/.gitignore +++ b/.gitignore @@ -1,10 +1,15 @@ *~ +*.o +*.a +*.so CVS *.cmi *.cmo *.cmx *.cma *.cmxa +*.bc +*.opt perl4caml-*.tar.gz html META -- 1.8.3.1