diff options
| author | Tom Kelly <ctk21@cl.cam.ac.uk> | 2021-10-06 17:08:27 +0100 |
|---|---|---|
| committer | Tom Kelly <ctk21@cl.cam.ac.uk> | 2021-10-06 17:08:27 +0100 |
| commit | 3f05f09b8c5a71e7bc35c9ef20dc687b58791a12 (patch) | |
| tree | d1501836cbd5a268919e18697ae017d1d4959dfc /.gitattributes | |
| parent | 50038476efe46cee211cadaed040f299745ef8df (diff) | |
| download | ocaml-3f05f09b8c5a71e7bc35c9ef20dc687b58791a12.tar.gz | |
remove unnecessary test/promotion in the testsuite/disabled file; allow testsuite/disabled to pass check-typo without a license header; fix up the 80char line check-typo problems with testsuite/disabled
Diffstat (limited to '.gitattributes')
| -rw-r--r-- | .gitattributes | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitattributes b/.gitattributes index 714b6348c7..7ac7124644 100644 --- a/.gitattributes +++ b/.gitattributes @@ -49,6 +49,7 @@ README* typo.missing-header api_docgen/*.mld typo.missing-header api_docgen/alldoc.tex typo.missing-header tools/mantis2gh_stripped.csv typo.missing-header +testsuite/disabled typo.missing-header *.adoc typo.long-line=may |