Ignore *.log files.
authorRichard W.M. Jones <rjones@redhat.com>
Fri, 11 Oct 2013 14:36:36 +0000 (15:36 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Fri, 11 Oct 2013 14:36:36 +0000 (15:36 +0100)
.gitignore

index 38779fd..cec1020 100644 (file)
@@ -2,6 +2,7 @@
 *.cmi
 *.cmo
 *.cmx
+*.log
 *.o
 
 /fedora_ocaml_rebuild