diff options
Diffstat (limited to 'debian/local')
-rw-r--r-- | debian/local/pref/user.js | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/debian/local/pref/user.js b/debian/local/pref/user.js index d453d1043e..d7780200a1 100644 --- a/debian/local/pref/user.js +++ b/debian/local/pref/user.js @@ -1043,3 +1043,5 @@ user_pref("browser.translations.automaticallyPopup", false); user_pref("browser.promo.focus.enabled", false); user_pref("browser.promo.pin.enabled", false); user_pref("browser.vpn_promo.enabled", false); + +user_pref("extensions.pocket.enabled", false); |