summaryrefslogtreecommitdiff
path: root/.gitattributes
diff options
context:
space:
mode:
authorArmaël Guéneau <armael.gueneau@ens-lyon.fr>2019-11-17 14:15:27 +0100
committerKate <kit.ty.kate@disroot.org>2021-08-27 19:25:14 +0100
commit6711b12463af3ce7e4ee001b80b7a5746167eea6 (patch)
treeb1f6bff2f7baa685dc7e80867e014e6ea6ce6f70 /.gitattributes
parentef16261ae444b1472cc8524a67d1801577d8bad7 (diff)
downloadocaml-6711b12463af3ce7e4ee001b80b7a5746167eea6.tar.gz
check-typo: highlight_tabs.ml contains tabs
Diffstat (limited to '.gitattributes')
-rw-r--r--.gitattributes1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitattributes b/.gitattributes
index 699b865923..416198f945 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -114,6 +114,7 @@ testsuite/tests/generated-parse-errors/errors.* typo.very-long-line
testsuite/tools/*.S typo.missing-header
testsuite/tools/*.asm typo.missing-header
testsuite/typing typo.missing-header
+testsuite/tests/messages/highlight_tabs.ml typo.tab
# prune testsuite reference files
testsuite/tests/**/*.reference typo.prune