| Name | Size | Mode | Actions |
|---|---|---|---|
| __pycache__/ | - | 0755 | rm |
| colors.py | 2845 | 0644 | editdlrm |
| full11.py | 76415 | 0644 | editdlrm |
| pattern.py | 1064 | 0644 | editdlrm |
| svgparser.py | 5036 | 0644 | editdlrm |
| tiny12.py | 58868 | 0644 | editdlrm |
| typechecker.py | 11944 | 0644 | editdlrm |
| types.py | 2807 | 0644 | editdlrm |
| __init__.py | 0 | 0644 | editdlrm |