# content after the \ escapes = ['0', 'b', 'f', 'n', 'r', 't', '"'] # What it should be replaced by escapedchars = ['\0', '\b', '\f', '\n', '\r', '\t', '\"'] # Used for substitution escape_to_escapedchars = dict(zip(_escapes, _escapedchars))
Name | Type | Size | Permission | Actions |
---|---|---|---|---|
__pycache__ | Folder | 2755 |
|
|
__init__.py | File | 747 B | 0644 |
|
common.py | File | 242 B | 0644 |
|
decoder.py | File | 37.79 KB | 0644 |
|
encoder.py | File | 9.72 KB | 0644 |
|
ordered.py | File | 378 B | 0644 |
|
tz.py | File | 618 B | 0644 |
|