diff options
author | Armaël Guéneau <armael.gueneau@ens-lyon.fr> | 2019-11-17 14:15:27 +0100 |
---|---|---|
committer | Kate <kit.ty.kate@disroot.org> | 2021-08-27 19:25:14 +0100 |
commit | 6711b12463af3ce7e4ee001b80b7a5746167eea6 (patch) | |
tree | b1f6bff2f7baa685dc7e80867e014e6ea6ce6f70 /.gitattributes | |
parent | ef16261ae444b1472cc8524a67d1801577d8bad7 (diff) | |
download | ocaml-6711b12463af3ce7e4ee001b80b7a5746167eea6.tar.gz |
check-typo: highlight_tabs.ml contains tabs
Diffstat (limited to '.gitattributes')
-rw-r--r-- | .gitattributes | 1 |
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 |