From: Richard W.M. Jones <rjones@redhat.com>
Date: Fri, 11 Oct 2013 14:36:36 +0000 (+0100)
Subject: Ignore *.log files.
X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=dbcbc725cf1079ce2c6b8147fd50f83cc705622c;p=goaljobs-goals.git

Ignore *.log files.
---

diff --git a/.gitignore b/.gitignore
index 38779fd..cec1020 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,6 +2,7 @@
 *.cmi
 *.cmo
 *.cmx
+*.log
 *.o
 
 /fedora_ocaml_rebuild