From e417b18c846273dfced9ab8d0cdfa271ef141a5c Mon Sep 17 00:00:00 2001
From: Antal Spector-Zabusky <antal.b.sz@gmail.com>
Date: Wed, 15 Jun 2016 14:01:43 -0400
Subject: [PATCH] Ingore `.d` files

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

diff --git a/.gitignore b/.gitignore
index 63ef418..4633a6a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,5 +1,6 @@
 /*.vo
 /*.glob
 /.*.aux
+/*.v.d
 CoqSrc.mk
 _CoqProject