user.js

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit 62a68f08147123b0c2c288ffdecc3f03e4ab1ae8
parent be376afc1ef9ee6c1eb305768af1da4a3eb1ca1e
Author: icpantsparti2 <101484718+icpantsparti2@users.noreply.github.com>
Date:   Sun,  8 Jan 2023 16:48:25 +0000

v108 (#1613)

nit: add a ';' to the end of line 1040
Diffstat:
Muser.js | 2+-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/user.js b/user.js @@ -1037,7 +1037,7 @@ user_pref("extensions.webcompat-reporter.enabled", false); // [DEFAULT: false] // user_pref("browser.newtabpage.activity-stream.feeds.discoverystreamfeed", ""); // user_pref("browser.newtabpage.activity-stream.feeds.snippets", ""); // user_pref("browser.region.network.url", ""); - // user_pref("browser.region.update.enabled", "") + // user_pref("browser.region.update.enabled", ""); // user_pref("browser.ssl_override_behavior", ""); // user_pref("devtools.chrome.enabled", ""); // user_pref("dom.disable_beforeunload", "");