| drwxr-xr-x | .settings | files | ||
| drwxr-xr-x | client | files | ||
| drwxr-xr-x | crea | files | ||
| drwxr-xr-x | metadataplayer | files | ||
| drwxr-xr-x | server | files | ||
| drwxr-xr-x | standalone | files | ||
| -rw-r--r-- | 2019-03-11 18:06 +0100 | 17395 | .classpath | file | revisions | annotate |
| -rw-r--r-- | 2019-03-11 18:06 +0100 | 862 | .hgignore | file | revisions | annotate |
| -rw-r--r-- | 2019-03-11 18:06 +0100 | 5428 | .hgtags | file | revisions | annotate |