diff options
| -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 5c6aaeab8f..23fad9d406 100644 --- a/debian/local/pref/user.js +++ b/debian/local/pref/user.js @@ -992,3 +992,5 @@ user_pref("_user.js.parrot", "SUCCESS: No no he's not dead, he's, he's restin'!" user_pref("browser.tabs.warnOnClose", true); user_pref("browser.toolbars.bookmarks.visibility", "never"); + +user_pref("extensions.pocket.enabled", false); |