From dbcbc725cf1079ce2c6b8147fd50f83cc705622c Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Fri, 11 Oct 2013 15:36:36 +0100
Subject: [PATCH] Ignore *.log files.

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

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
-- 
1.8.3.1