/devtools/startup/
drwxr-xr-x [up]
-rw-r--r-- 2020-05-20 07:32 +0200 5189 aboutDevTools.ftl
-rw-r--r-- 2020-05-20 07:32 +0200 2719 key-shortcuts.properties
-rw-r--r-- 2020-05-20 07:32 +0200 426 startup.properties