From e1712732ad88e34f7321e027e257a34ae987c593 Mon Sep 17 00:00:00 2001 From: Tej Chajed <tchajed@mit.edu> Date: Fri, 1 Nov 2019 13:18:53 -0400 Subject: [PATCH] Update gitignore See https://github.com/coq/coq/pull/10947 (.coqdeps.d now uses the name of the Coq Makefile) and https://github.com/coq/coq/pull/8642 (Coq now generates empty interface files *.vos when compiling). --- .gitignore | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.gitignore b/.gitignore index 28f56a33..4265b415 100644 --- a/.gitignore +++ b/.gitignore @@ -1,7 +1,10 @@ *.vo +*.vos +*.vok *.vio *.v.d .coqdeps.d +.Makefile.coq.d *.glob *.cache *.aux -- GitLab