From 22d788f795a60367af19716d190841a2f7f31176 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <gares@fettunta.org>
Date: Thu, 2 Apr 2015 14:35:39 +0200
Subject: [PATCH] fix gitignore

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

diff --git a/.gitignore b/.gitignore
index 4632509ddc..e176c39b9b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -7,3 +7,8 @@
 *.a
 *.o
 Make*.coq
+Make*.coq.bak
+mathcomp/ssreflect/ssreflect.ml4
+mathcomp/ssreflect/ssrmatching.ml4
+mathcomp/ssreflect/ssrmatching.mli
+mathcomp/ssreflect/ssreflect.mllib