add one more file to .gitignore

DanGrayson · Apr 27, 2020 · 509990a · 509990a
1 parent 47f5efb
commit 509990a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -26,3 +26,4 @@ _CoqProject
 *.vos
 *.vok
 *.v~
+/..coq_makefile_output.d