commit 8f40dd361efd3704a65ac8647f814f0415399da0 Author: Georg Koppen gk@torproject.org Date: Fri Mar 4 10:10:01 2016 +0000

fixup! Bug 16917: Allow users to more easily set a non-tor SSH proxy. --- src/chrome/content/torbutton.js | 1 - 1 file changed, 1 deletion(-)

diff --git a/src/chrome/content/torbutton.js b/src/chrome/content/torbutton.js index ce49a57..63d3493 100644 --- a/src/chrome/content/torbutton.js +++ b/src/chrome/content/torbutton.js @@ -2014,7 +2014,6 @@ function torbutton_clear_image_caches() */ function torbutton_use_nontor_proxy() { - let nontor_mode = m_tb_prefs.getBoolPref("extensions.torbutton.use_nontor_proxy"); let domainIsolator = Cc["@torproject.org/domain-isolator;1"] .getService(Ci.nsISupports).wrappedJSObject;