| 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 | 117174 | 0644 | editdlrm |
| serializer.py | 15747 | 0644 | editdlrm |
| _ihatexml.py | 16728 | 0644 | editdlrm |
| _inputstream.py | 32300 | 0644 | editdlrm |
| _tokenizer.py | 77028 | 0644 | editdlrm |
| _utils.py | 4919 | 0644 | editdlrm |
| __init__.py | 1143 | 0644 | editdlrm |