directory /ide/ @ 6:1784af239df4

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