commit 67caedf54ac86c7e1f3f5d7e879f804befaaa367 Author: Mike Perry <mikeperry-git@fscked.org> Date: Fri Feb 8 12:17:29 2013 -0800 Clear out some stale Torbutton prefs. --- build-scripts/config/extension-overrides.js | 4 ---- 1 files changed, 0 insertions(+), 4 deletions(-) diff --git a/build-scripts/config/extension-overrides.js b/build-scripts/config/extension-overrides.js index 7729f9b..d498177 100644 --- a/build-scripts/config/extension-overrides.js +++ b/build-scripts/config/extension-overrides.js @@ -5,14 +5,10 @@ # Torbutton Preferences: pref("extensions.torbutton.fresh_install", false); pref("extensions.torbutton.proxies_applied", true); -pref("extensions.torbutton.saved.auto_update", false); -pref("extensions.torbutton.saved.share_proxy_settings", false); -pref("extensions.torbutton.saved.socks_version", 5); pref("extensions.torbutton.settings_applied", true); pref("extensions.torbutton.socks_host", "127.0.0.1"); pref("extensions.torbutton.socks_port", 9050); pref("extensions.torbutton.tor_enabled", true); -pref("extensions.torbutton.tor_memory_jar", true); pref("extensions.torbutton.tz_string", "UTC+00:00"); # HTTPS Everywhere Preferences: