directory / @ 2:8884b0bf779d

name size permissions
file workspace.py 9583 -rw-r--r--
file writer.py 5414 -rw-r--r--