From 2483494fc257e32bcd8241655ac00607ca915b3d Mon Sep 17 00:00:00 2001
From: Dan <dcolish@gmail.com>
Date: Sat, 20 Nov 2010 23:34:20 -0800
Subject: [PATCH] add Coq gitignore

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

diff --git a/Coq.gitignore b/Coq.gitignore
new file mode 100644
index 00000000..769bc36c
--- /dev/null
+++ b/Coq.gitignore
@@ -0,0 +1,4 @@
+*.vo
+*.glob
+*.v.d
+