From 8083bfd714a95bcc95a836ac348468f3886f61f6 Mon Sep 17 00:00:00 2001 From: Pierre Villemot Date: Thu, 21 Sep 2023 11:48:20 +0200 Subject: [PATCH] Review changes --- .gitattributes | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitattributes b/.gitattributes index e04856652..58035894f 100644 --- a/.gitattributes +++ b/.gitattributes @@ -1,4 +1,5 @@ # Declare files will always have LF line endings on checkout. configure eol=lf +# Hide the file in statistics and pull request diffs. tests/dune.inc linguist-generated