Perms
Size
Modified
Name
Actions
drwx
DIR
Dec 13 07:22
__pycache__
[rename] [delete]
0644
436B
Mar 29 10:20
__init__.py
[edit] [rename] [delete]
0644
4.07K
Nov 14 15:11
nontrivial.py
[edit] [rename] [delete]
0644
1.16K
Apr 05 22:25
trivial.py
[edit] [rename] [delete]