From c34b7ac31427861e066ea7f9fc7d964598aa4ed4 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Thu, 3 Mar 2022 18:33:25 +0000
Subject: Ignore generated Makefiles

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

diff --git a/.gitignore b/.gitignore
index b25c15b..94634d9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,2 @@
 *~
+*.coq.all*
-- 
cgit