From 495defa06e59ad64de650e2e0574139d33874730 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Thu, 20 Dec 2018 14:08:26 +0100
Subject: Fix line ending issues

Try to mimick MSoegtropIMC
(https://github.com/coq/coq/pull/9243#issuecomment-448968353 )
---
 .gitattributes | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to '.gitattributes')

diff --git a/.gitattributes b/.gitattributes
index 742ef27f49..47538be4a3 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -54,5 +54,5 @@ tools/CoqMakefile.in whitespace=blank-at-eol
 # CR is desired for these Windows files.
 *.bat whitespace=cr-at-eol,blank-at-eol,tab-in-indent
 
-* eol=lf
-*.bat eol=crlf
+# never do endline conversion
+* -text
-- 
cgit v1.2.3