/devtools/client/preferences/
drwxr-xr-x [up]
-rw-r--r-- 2017-09-06 17:47 +0200 2109 debugger.js
-rw-r--r-- 2017-09-06 17:47 +0200 15057 devtools.js
-rw-r--r-- 2017-09-06 17:47 +0200 384 moz.build