Mini Shell

Name	Size	Permissions	Options
__pycache__	--	drwxr-xr-x

__init__.py	0 KB	-rw-r--r--
colors.py	2.778 KB	-rw-r--r--
full11.py	74.624 KB	-rw-r--r--
pattern.py	1.039 KB	-rw-r--r--
svgparser.py	4.918 KB	-rw-r--r--
tiny12.py	57.488 KB	-rw-r--r--
typechecker.py	11.664 KB	-rw-r--r--
types.py	2.741 KB	-rw-r--r--