diff options
Diffstat (limited to '.gitattributes')
-rw-r--r-- | .gitattributes | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/.gitattributes b/.gitattributes index 4ac00cad84..ab3643be69 100644 --- a/.gitattributes +++ b/.gitattributes @@ -50,7 +50,9 @@ VERSION typo.missing-header api_docgen/*.mld typo.missing-header api_docgen/alldoc.tex typo.missing-header tools/mantis2gh_stripped.csv typo.missing-header +testsuite/disabled typo.missing-header +/README.md typo.long-line=may typo.very-long-line=may *.adoc typo.long-line=may # Github templates and scripts lack headers, have long lines @@ -72,6 +74,9 @@ tools/mantis2gh_stripped.csv typo.missing-header .depend typo.prune /.depend.menhir typo.prune +# These can be fixed at some point +/tools/*.py typo.long-line + # Makefiles may contain tabs Makefile* typo.makefile-whitespace=may @@ -183,6 +188,7 @@ tools/ocamlsize text eol=lf tools/pre-commit-githook text eol=lf tools/markdown-add-pr-links.sh text eol=lf runtime/caml/compatibility.h typo.long-line=may +runtime/caml/sizeclasses.h typo.missing-header typo.white-at-eol # These are all Perl scripts, so may not actually require this manual/tools/caml-tex text eol=lf |