drwxr-xr-x | [up] | |||
drwxr-xr-x | common | files | ||
drwxr-xr-x | ide | files | ||
drwxr-xr-x | server | files | ||
-rwxr-xr-x | 2013-08-14 08:17 +0200 | 1863 | build.sh | file | revisions | annotate |
-rwxr-xr-x | 2013-08-14 08:17 +0200 | 1300 | post-build.sh | file | revisions | annotate |