diff options
Diffstat (limited to 'py/makeqstrdata.py')
| -rw-r--r-- | py/makeqstrdata.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/py/makeqstrdata.py b/py/makeqstrdata.py index f231a5d861..6ae229c734 100644 --- a/py/makeqstrdata.py +++ b/py/makeqstrdata.py @@ -10,6 +10,8 @@ elif platform.python_version_tuple()[0] == '3': # add some custom names to map characters that aren't in HTML codepoint2name[ord('.')] = 'dot' +codepoint2name[ord(':')] = 'colon' +codepoint2name[ord('/')] = 'slash' # this must match the equivalent function in qstr.c def compute_hash(qstr): |