From eb65b7b6f847add79881532b87c1b227c06efd2c Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Thu, 5 Nov 2015 13:29:18 +0100
Subject: Update .git* conf files to ignore/exclude cruft

---
 .gitattributes | 1 +
 .gitignore     | 5 +++++
 2 files changed, 6 insertions(+)
 create mode 100644 .gitattributes

diff --git a/.gitattributes b/.gitattributes
new file mode 100644
index 0000000..e4504cf
--- /dev/null
+++ b/.gitattributes
@@ -0,0 +1 @@
+.git* export-ignore
diff --git a/.gitignore b/.gitignore
index e176c39..d10613b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -12,3 +12,8 @@ mathcomp/ssreflect/ssreflect.ml4
 mathcomp/ssreflect/ssrmatching.ml4
 mathcomp/ssreflect/ssrmatching.mli
 mathcomp/ssreflect/ssreflect.mllib
+mathcomp/ssreflect.ml4
+mathcomp/ssrmatching.ml4
+mathcomp/ssrmatching.mli
+mathcomp/ssreflect.mllib
+mathcomp-*.tar.gz
-- 
cgit v1.2.3