From 988c1068100b7f30bd8b0d2c1195ac383705dc1c Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Tue, 24 Jun 2014 22:29:38 +0100 Subject: [PATCH 01/20] Don't ignore ./configure, it's a real git file. --- .gitignore | 1 - 1 file changed, 1 deletion(-) diff --git a/.gitignore b/.gitignore index 87f7cda..8aad7c2 100644 --- a/.gitignore +++ b/.gitignore @@ -19,7 +19,6 @@ /.depend /.depend.nt /.DS_Store -/configure /ocamlc /ocamlc.opt /expunge -- 2.7.4