From 4e13647d8f7a46945443e016ea3f248040be8a06 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Mon, 12 Jun 2017 12:57:19 -0400
Subject: Better support for coq_makefile2 with fewer warnings

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

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 8547a7612..ef8de5c6c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -9,6 +9,7 @@
 Makefile.bak
 Makefile.coq
 Makefile.coq.bak
+Makefile-old.conf
 csdp.cache
 lia.cache
 nlia.cache
-- 
cgit v1.2.3