directory /ide/ @ 3:77202b0e0f40

name size permissions
[up] drwxr-xr-x
dir. compiler/ drwxr-xr-x
dir. ide/ drwxr-xr-x
file runide.py 266 -rw-r--r--