directory /ide/ @ 19:f454e3c592dd

name size permissions
[up] drwxr-xr-x
dir. compiler/ drwxr-xr-x
dir. ide/ drwxr-xr-x
file project.py 1964 -rw-r--r--
file runbuild.py 351 -rw-r--r--
file runide.py 266 -rw-r--r--
file runtests.py 9036 -rw-r--r--