| Name | Size | Mode | Actions |
|---|---|---|---|
| filters/ | - | 0755 | rm |
| treeadapters/ | - | 0755 | rm |
| treebuilders/ | - | 0755 | rm |
| treewalkers/ | - | 0755 | rm |
| _trie/ | - | 0755 | rm |
| __pycache__/ | - | 0755 | rm |
| constants.py | 83387 | 0644 | editdlrm |
| html5parser.py | 117170 | 0644 | editdlrm |
| serializer.py | 14177 | 0644 | editdlrm |
| _ihatexml.py | 16705 | 0644 | editdlrm |
| _inputstream.py | 32532 | 0644 | editdlrm |
| _tokenizer.py | 76580 | 0644 | editdlrm |
| _utils.py | 4096 | 0644 | editdlrm |
| __init__.py | 780 | 0644 | editdlrm |