From ec2e721a760fa773b670ec15f28e692841302dcc Mon Sep 17 00:00:00 2001
From: Jacques-Henri Jourdan <jacques-henri.jourdan@normalesup.org>
Date: Fri, 7 Jul 2017 13:32:19 +0200
Subject: [PATCH] rename

---
 .gitattribute => .gitattributes | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename .gitattribute => .gitattributes (100%)

diff --git a/.gitattribute b/.gitattributes
similarity index 100%
rename from .gitattribute
rename to .gitattributes
-- 
GitLab