From 8703b2bc7a31807357a300bc017d13ba596575f9 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Sun, 10 Jul 2016 01:34:18 -0700
Subject: Update .gitignore

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

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index b8cf1d4bc..b22a815ee 100644
--- a/.gitignore
+++ b/.gitignore
@@ -8,6 +8,7 @@
 .#*
 Makefile.bak
 Makefile.coq
+Makefile.coq.bak
 csdp.cache
 lia.cache
 nlia.cache
-- 
cgit v1.2.3