From d7eb1ba8b86eebc743e3d419532127b77c6e91cc Mon Sep 17 00:00:00 2001
From: Georges Gonthier
Date: Tue, 13 Nov 2018 15:01:59 +0100
Subject: Ignore generated Makefile.coq.conf

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

diff --git a/.gitignore b/.gitignore
index 53ecc2e..2858e3f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -9,6 +9,7 @@
 *.o
 Make*.coq
 Make*.coq.bak
+Make*.coq.conf
 mathcomp/ssreflect/ssreflect.ml4
 mathcomp/ssreflect/ssrmatching.ml4
 mathcomp/ssreflect/ssrmatching.mli
-- 
cgit v1.2.3