| 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-- | 2017-01-12 14:09 +0100 | 17395 | .classpath | file | revisions | annotate |
| -rw-r--r-- | 2017-01-12 14:09 +0100 | 862 | .hgignore | file | revisions | annotate |
| -rw-r--r-- | 2017-01-12 14:09 +0100 | 5278 | .hgtags | file | revisions | annotate |