user.js

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

commit 7a8381d894ba457efacac4b9675bbaccbf42e322
parent 649699ad22123bf5ae88e1b57d3a552e69946c6c
Author: Thorin-Oakenpants <Thorin-Oakenpants@users.noreply.github.com>
Date:   Thu,  7 Feb 2019 11:01:31 +0000

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

diff --git a/user.js b/user.js @@ -457,7 +457,7 @@ user_pref("browser.send_pings.require_same_host", true); user_pref("network.protocol-handler.external.ms-windows-store", false); /* 0608: disable predictor / prefetching [FF48+] ***/ user_pref("network.predictor.enable-prefetch", false); -/* 0609: disable Network Connectivity Services [FF65+] ***/ +/* 0609: disable Network Connectivity Service [FF65+] ***/ pref("network.connectivity-service.enabled", false); /*** [SECTION 0700]: HTTP* / TCP/IP / DNS / PROXY / SOCKS etc ***/