# 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 | 0755 |
|
|
| __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 |
|