diff options
author | papush | 2021-05-26 11:08:43 +0200 |
---|---|---|
committer | papush | 2021-05-26 11:08:43 +0200 |
commit | 0f68463df16f6e112dda1d6560fad5e6efa44aaf (patch) | |
tree | 60526916470e3c07a6d10c0e953e1b70ac17e0e2 /defaults | |
parent | 9c4a24f809bcae9246cc029958f4ce8ff4398211 (diff) |
remove unused proxy-related pref
Diffstat (limited to 'defaults')
-rw-r--r-- | defaults/preferences/redirector.preferences.js | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/defaults/preferences/redirector.preferences.js b/defaults/preferences/redirector.preferences.js index 4464a8a..866ded0 100644 --- a/defaults/preferences/redirector.preferences.js +++ b/defaults/preferences/redirector.preferences.js @@ -5,4 +5,3 @@ pref("extensions.redirector.showContextMenu", true); pref("extensions.redirector.showStatusBarIcon", true); pref("extensions.redirector.version", 'undefined'); pref("extensions.redirector.defaultDir", ''); -pref("extensions.redirector.proxyServerPort", 4815); |