drwxr-xr-x | [up] | |||
drwxr-xr-x | src lib | files | ||
drwxr-xr-x | src-unix bin | files | ||
drwxr-xr-x | src-win32 bin | files | ||
-rw-r--r-- | 2018-07-02 08:46 +0200 | 71 | Makefile.xquery-workspace.common | file | revisions | annotate |
-rw-r--r-- | 2018-07-02 08:46 +0200 | 321 | Makefile.xquery-workspace.linux | file | revisions | annotate |
-rw-r--r-- | 2018-07-02 08:46 +0200 | 321 | Makefile.xquery-workspace.win32 | file | revisions | annotate |
-rw-r--r-- | 2018-07-02 08:46 +0200 | 208 | xquery-workspace-packages.def | file | revisions | annotate |