| 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-09-15 14:04 +0200 | 17395 | .classpath | file | revisions | annotate |
| -rw-r--r-- | 2017-09-15 14:04 +0200 | 862 | .hgignore | file | revisions | annotate |
| -rw-r--r-- | 2017-09-15 14:04 +0200 | 5377 | .hgtags | file | revisions | annotate |