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 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 |