From 271fc0608a4ca013f58787b81fe5b3b1bb381049 Mon Sep 17 00:00:00 2001
From: Hoang-Hai Dang <haidang@mpi-sws.org>
Date: Sun, 19 Jan 2020 10:29:42 +0100
Subject: [PATCH] add gitignore for coq 8.10

---
 .gitignore | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.gitignore b/.gitignore
index a2c79565..3816b70d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -15,3 +15,5 @@ Makefile.coq.conf
 .coqdeps.d
 _opam
 *.crashcoqide
+*.vok
+*.vos
-- 
GitLab