directory /ide/ @ 14:a58904747019

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