Perms
Size
Modified
Name
Actions
drwx
DIR
Sep 03 23:12
__pycache__
[rename] [delete]
0644
0B
Aug 21 11:53
__init__.py
[edit] [rename] [delete]
0644
2.78K
Aug 21 11:53
colors.py
[edit] [rename] [delete]
0644
74.62K
Aug 21 11:53
full11.py
[edit] [rename] [delete]
0644
1.04K
Aug 21 11:53
pattern.py
[edit] [rename] [delete]
0644
4.92K
Aug 21 11:53
svgparser.py
[edit] [rename] [delete]
0644
57.49K
Aug 21 11:53
tiny12.py
[edit] [rename] [delete]
0644
11.66K
Aug 21 11:53
typechecker.py
[edit] [rename] [delete]
0644
2.74K
Aug 21 11:53
types.py
[edit] [rename] [delete]