From 6baeb3bc81437793bb33b77a52679dfe1a9e5746 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Mon, 4 Nov 2019 16:34:32 +0000
Subject: Update Makefile and gitignore

---
 .gitignore | 4 ++++
 1 file changed, 4 insertions(+)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index f25a61d..55a6c60 100644
--- a/.gitignore
+++ b/.gitignore
@@ -28,3 +28,7 @@ lia.cache
 nia.cache
 nlia.cache
 nra.cache
+
+Makefile.coq
+Makefile.coq.conf
+.coqdeps.d
-- 
cgit