diff options
Diffstat (limited to '.gitattributes')
| -rw-r--r-- | .gitattributes | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitattributes b/.gitattributes index 2ad56d1941..db37bfbe5e 100644 --- a/.gitattributes +++ b/.gitattributes @@ -168,6 +168,7 @@ tools/pre-commit-githook text eol=lf tools/markdown-add-pr-links.sh text eol=lf runtime/caml/m.h.in text eol=lf runtime/caml/s.h.in text eol=lf +runtime/caml/compatibility.h typo.long-line=may # These are all Perl scripts, so may not actually require this manual/tools/caml-tex text eol=lf |