drwxr-xr-x | [up] | |||
drwxr-xr-x | common | files | ||
drwxr-xr-x | ide | files | ||
drwxr-xr-x | server | files | ||
-rwxr-xr-x | 2017-05-03 22:37 +0200 | 4093 | build.sh | file | revisions | annotate |
-rwxr-xr-x | 2017-05-03 22:37 +0200 | 3513 | post-build.sh | file | revisions | annotate |