From e8c2bd4c6ea58b9a69e1e993042897192968b69b Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Mon, 18 May 2020 16:28:11 +0200
Subject: [PATCH] more gitignore updates

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

diff --git a/.gitignore b/.gitignore
index 06b79b9..c02b283 100644
--- a/.gitignore
+++ b/.gitignore
@@ -16,5 +16,6 @@
 build-dep/
 Makefile.coq
 Makefile.coq.conf
+.Makefile.coq.d
 *.crashcoqide
 _opam
-- 
GitLab