From 94d94ab2eca877426058569b1fbe1a06d28bfbe2 Mon Sep 17 00:00:00 2001
From: Dan Frumin <dfrumin@cs.ru.nl>
Date: Thu, 20 Dec 2018 17:08:16 +0100
Subject: [PATCH] add .gitignore

---
 .gitignore | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 .gitignore

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..7107983
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,17 @@
+*.vo
+*.vio
+*.v.d
+.coqdeps.d
+*.glob
+*.cache
+*.aux
+\#*\#
+.\#*
+*~
+*.bak
+.coqdeps.d
+.coq-native/
+build-dep/
+Makefile.coq
+Makefile.coq.conf
+*.crashcoqide
-- 
GitLab