From 763bfe4ffc0f6cc3f0efbd3fae6311ff5f22c534 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Sat, 26 Nov 2016 22:57:04 +0100
Subject: [PATCH] Add .crashcoqide to .gitignore.

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index e38a0bd59..81e7db3db 100644
--- a/.gitignore
+++ b/.gitignore
@@ -10,3 +10,4 @@
 *.bak
 .coq-native/
 Makefile.coq
+*.crashcoqide
-- 
GitLab