/devtools/
drwxr-xr-x [up]
drwxr-xr-x client
drwxr-xr-x docs
drwxr-xr-x server
drwxr-xr-x shared
-rw-r--r-- 2016-08-01 09:12 +0200 19187 .eslintrc
-rw-r--r-- 2016-08-01 09:12 +0200 465 .eslintrc.mochitests
-rw-r--r-- 2016-08-01 09:12 +0200 769 .eslintrc.xpcshell
-rw-r--r-- 2016-08-01 09:12 +0200 8521 bootstrap.js
-rw-r--r-- 2016-08-01 09:12 +0200 215 chrome.manifest
-rw-r--r-- 2016-08-01 09:12 +0200 1024 install.rdf
-rw-r--r-- 2016-08-01 09:12 +0200 879 moz.build
-rw-r--r-- 2016-08-01 09:12 +0200 1587 templates.mozbuild