diff options
| author | Gaëtan Gilbert | 2018-12-20 14:08:26 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-12-20 14:08:26 +0100 |
| commit | 495defa06e59ad64de650e2e0574139d33874730 (patch) | |
| tree | 27228d5b764ed549283d60b7d45cafeb7a42dc74 /.gitattributes | |
| parent | b264bb65b8d985b2e5b1c5642dee317bcf8a9504 (diff) | |
Fix line ending issues
Try to mimick MSoegtropIMC
(https://github.com/coq/coq/pull/9243#issuecomment-448968353 )
Diffstat (limited to '.gitattributes')
| -rw-r--r-- | .gitattributes | 4 |
1 files changed, 2 insertions, 2 deletions
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 |