Review changes

Halbaroth · Sep 21, 2023 · 8083bfd · 8083bfd
1 parent 96cb93d
commit 8083bfd
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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