Oliver Smith 88befd38b9 policies.json: don't disable developer tools ... The reason for disabling these was, to free up space in the menu. The menu entry is hidden in userChrome.css now, so we can enable it again. Having this enabled is required to use the Firefox remote debugger, which is very useful for developing userChrome.css.		2020-08-10 21:29:07 +02:00
..
homepage	bottom.html: less redundant privacy note	2020-08-06 17:01:15 +02:00
userChrome	urlbar.css: don't increase font size on focus	2020-08-10 21:29:07 +02:00
mobile-config-firefox.sh	wrapper: fix second start with wrong profile	2020-08-10 21:29:07 +02:00
mobile-config-path.sh	src: wrap firefox binary, not .desktop entry	2020-08-07 23:16:13 +02:00
policies.json	policies.json: don't disable developer tools	2020-08-10 21:29:07 +02:00
prefs.js	prefs.js: remove browser.uiCustomization.state	2020-08-10 21:29:07 +02:00