drwxr-xr-x | [up] | |||
drwxr-xr-x | common | files | ||
drwxr-xr-x | ide | files | ||
drwxr-xr-x | server | files | ||
-rwxr-xr-x | 2017-02-12 10:11 +0100 | 4093 | build.sh | file | revisions | annotate |
-rwxr-xr-x | 2017-02-12 10:11 +0100 | 3513 | post-build.sh | file | revisions | annotate |