diff options
| author | Jacob Walls <jacobtylerwalls@gmail.com> | 2025-08-29 17:35:50 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-08-29 17:35:50 -0400 |
| commit | a627194567b3af2ef74bd89e404868932ff755b3 (patch) | |
| tree | b497ea8aa1f073c17bef8dbcafd9a2d387ca3467 /docs/lint.py | |
| parent | bb7a7701b1a0e8fffe14dcebf5d5bac7f176c02a (diff) | |
Refs #36485 -- Corrected docs linter to detect too-long lines at file end.
Diffstat (limited to 'docs/lint.py')
| -rw-r--r-- | docs/lint.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/lint.py b/docs/lint.py index 2358fec78e..bff7b5fe6a 100644 --- a/docs/lint.py +++ b/docs/lint.py @@ -96,7 +96,7 @@ def check_line_too_long_django(file, lines, options=None): continue except IndexError: # End of file - continue + pass if len(set(line.strip())) == 1 and len(line) == len(lines[lno - 1]): continue # Ignore heading underline if lno in table_rows: |