aboutsummaryrefslogtreecommitdiff
path: root/.gitattributes
diff options
context:
space:
mode:
authorGeorges Gonthier2015-12-04 15:39:27 +0000
committerGeorges Gonthier2015-12-04 15:39:27 +0000
commit672865bc8133d9cd60637f4cf696ed1388166d0a (patch)
treedc9998bd97b9555b5fb143be35e17f389263ccb0 /.gitattributes
parent732a8c3856f639d723b83fd2e29fe35563120917 (diff)
parente6076b24bd95046f82f84c21f205388c17d2e7c8 (diff)
Merge branch 'master' of https://github.com/math-comp/math-comp
Diffstat (limited to '.gitattributes')
-rw-r--r--.gitattributes1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitattributes b/.gitattributes
index e4504cf..51c6be8 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -1 +1,2 @@
.git* export-ignore
+.mailmap export-ignore