drwxr-xr-x | [up] | |||
drwxr-xr-x | viewers | files | ||
-rw-r--r-- | 2017-01-01 13:44 +0100 | 1300 | editing.dtd | file | revisions | annotate |
-rw-r--r-- | 2017-01-01 13:44 +0100 | 3247 | inspector.dtd | file | revisions | annotate |
-rw-r--r-- | 2017-01-01 13:44 +0100 | 2192 | inspector.properties | file | revisions | annotate |
-rw-r--r-- | 2017-01-01 13:44 +0100 | 1674 | prefs.dtd | file | revisions | annotate |
-rw-r--r-- | 2017-01-01 13:44 +0100 | 523 | tasksOverlay.dtd | file | revisions | annotate |
-rw-r--r-- | 2017-01-01 13:44 +0100 | 1195 | viewer-registry.dtd | file | revisions | annotate |