| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2020-06-07 09:55 +0000 | 4657 | aboutDevTools.ftl | file | revisions | annotate |
| -rw-r--r-- | 2020-06-07 09:55 +0000 | 2719 | key-shortcuts.properties | file | revisions | annotate |
| -rw-r--r-- | 2020-06-07 09:55 +0000 | 285 | startup.properties | file | revisions | annotate |