From 933ec4bdb6a9a66b7556797aa8804858aa591b54 Mon Sep 17 00:00:00 2001
From: Arnaud Spiwack <arnaud@spiwack.net>
Date: Fri, 25 Jul 2014 12:05:00 +0200
Subject: Add *.crashcoqide files to the .gitignore.

They occasionally show up while testing. I think it cleaner to ignore them.
---
 .gitignore | 3 +++
 1 file changed, 3 insertions(+)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 1a98af1f2..1ea6d6e12 100644
--- a/.gitignore
+++ b/.gitignore
@@ -156,3 +156,6 @@ dev/ocamldoc/html/
 dev/ocamldoc/coq.*
 dev/ocamldoc/ocamldoc.sty
 dev/myinclude
+
+# coqide generated files (when testing)
+*.crashcoqide
\ No newline at end of file
-- 
cgit v1.2.3