Removed unused DOTS list.

Unused since 4ff389dcdc.
This commit is contained in:
Claude Paroz 2021-10-14 19:56:37 +02:00 committed by GitHub
parent cb8d7ca0ba
commit 514c16e85f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 3 deletions

View File

@ -19,9 +19,6 @@ from django.utils.text import normalize_newlines
TRAILING_PUNCTUATION_CHARS = '.,:;!'
WRAPPING_PUNCTUATION = [('(', ')'), ('[', ']')]
# List of possible strings used for bullets in bulleted lists.
DOTS = ['·', '*', '\u2022', '•', '•', '•']
word_split_re = _lazy_re_compile(r'''([\s<>"']+)''')
simple_url_re = _lazy_re_compile(r'^https?://\[?\w', re.IGNORECASE)
simple_url_2_re = _lazy_re_compile(