From 536f01027ee86beac2a05adb4bd3b224b30ab7f5 Mon Sep 17 00:00:00 2001 From: Pierrot Date: Mon, 29 Jul 2024 15:06:45 +0200 Subject: [PATCH] Use Unix eof for shell scripts (#1184) * Use Unix eof for shell scripts * There is no configure anymore! --- .gitattributes | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.gitattributes b/.gitattributes index 58035894f..5086db66e 100644 --- a/.gitattributes +++ b/.gitattributes @@ -1,5 +1,5 @@ # Declare files will always have LF line endings on checkout. -configure eol=lf +*.sh text eol=lf # Hide the file in statistics and pull request diffs. tests/dune.inc linguist-generated