From 38a1cefd50718df8ac688a80c493c1f28c1b0761 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Sat, 30 Jul 2022 12:24:47 +0100
Subject: Add coq files to .gitignore

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

diff --git a/.gitignore b/.gitignore
index 2999112..7f6bd74 100644
--- a/.gitignore
+++ b/.gitignore
@@ -305,3 +305,13 @@ TSWLatexianTemp*
 
 *.pgf
 *.pdf
+
+*.coq.d
+*.glob
+*.v
+*.vo
+*.vok
+*.vos
+*.coq
+*.coq.conf
+_CoqProject
-- 
cgit