Ingore .d files

plclub · Jun 15, 2016 · e417b18 · e417b18
1 parent ee61e9d
commit e417b18
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,5 +1,6 @@
 /*.vo
 /*.glob
 /.*.aux
+/*.v.d
 CoqSrc.mk
 _CoqProject