From c9c17072f676b77b2ad978ad93e79151baeeba39 Mon Sep 17 00:00:00 2001
From: Jan-Oliver Kaiser <janno@mpi-sws.org>
Date: Mon, 5 Sep 2016 12:49:17 +0200
Subject: [PATCH] Add coq Makefiles to .gitignore

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

diff --git a/.gitignore b/.gitignore
index 508a948a..73d4af9e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -15,3 +15,4 @@
 .#*
 auto
 *.fmt
+coq/*/Makefile
-- 
GitLab