| Name | Size | Mode | Actions |
|---|---|---|---|
| filters/ | - | 0755 | rm |
| treeadapters/ | - | 0755 | rm |
| treebuilders/ | - | 0755 | rm |
| treewalkers/ | - | 0755 | rm |
| _trie/ | - | 0755 | rm |
| __pycache__/ | - | 0755 | rm |
| constants.py | 83464 | 0644 | editdlrm |
| html5parser.py | 117186 | 0644 | editdlrm |
| serializer.py | 15759 | 0644 | editdlrm |
| _ihatexml.py | 16728 | 0644 | editdlrm |
| _inputstream.py | 32353 | 0644 | editdlrm |
| _tokenizer.py | 77040 | 0644 | editdlrm |
| _utils.py | 4931 | 0644 | editdlrm |
| __init__.py | 1160 | 0644 | editdlrm |