user.js

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

commit 0bdca802ebed097947a1cf2fad5c9ddc37bd14e2
parent 9b65d9788d1bb94e72af7180d1821753ee35395c
Author: Thorin-Oakenpants <Thorin-Oakenpants@users.noreply.github.com>
Date:   Sat, 29 Apr 2017 11:22:17 +1200

typo
Diffstat:
Muser.js | 2+-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/user.js b/user.js @@ -558,7 +558,7 @@ user_pref("browser.shell.shortcutFavicons", false); * [2] https://bugzilla.mozilla.org/show_bug.cgi?id=1207306 ***/ // user_pref("dom.ipc.processCount", 4); /* 1103: enable WebExtension add-on code to run in a separate process (webext-oop) (FF53+) - * [1] https://wiki.mozilla.org/WebExtensions/Implementing_APIs_out-of-process */ + * [1] https://wiki.mozilla.org/WebExtensions/Implementing_APIs_out-of-process ***/ // user_pref("extensions.webextensions.remote", true); /* 1104: enforce separate content process for file://URLs (FF53+) * [1] https://bugzilla.mozilla.org/show_bug.cgi?id=1147911