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