/devtools/startup/preferences/
drwxr-xr-x [up]
-rw-r--r-- 2018-10-10 19:18 +0000 1602 devtools-startup.js
-rw-r--r-- 2018-10-10 19:18 +0000 345 moz.build