summaryrefslogtreecommitdiff
path: root/.gitattributes
diff options
context:
space:
mode:
Diffstat (limited to '.gitattributes')
-rw-r--r--.gitattributes2
1 files changed, 0 insertions, 2 deletions
diff --git a/.gitattributes b/.gitattributes
index f7578b53b1..ab3643be69 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -187,8 +187,6 @@ tools/ocaml-objcopy-macosx text eol=lf
tools/ocamlsize text eol=lf
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
runtime/caml/sizeclasses.h typo.missing-header typo.white-at-eol