From 0c5ca8061a887f397991e62b580d5fc2f6484336 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Sun, 24 May 2020 13:37:26 +0100
Subject: Add .gitignore for *.vok *.vos

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

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 7c17072..b2cf595 100644
--- a/.gitignore
+++ b/.gitignore
@@ -17,6 +17,8 @@
 *.v.d
 *.vio
 *.vo
+*.vok
+*.vos
 .coq-native/
 .csdp.cache
 .lia.cache
-- 
cgit