/devtools/startup/
drwxr-xr-x [up]
-rw-r--r-- 2022-01-06 14:04 +0100 4660 aboutDevTools.ftl
-rw-r--r-- 2022-01-06 14:04 +0100 1897 key-shortcuts.ftl
-rw-r--r-- 2022-01-06 14:04 +0100 2483 key-shortcuts.properties
-rw-r--r-- 2022-01-06 14:04 +0100 415 startup.properties