user.js

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

commit 7f4a671b09421b674c9cf973b59391f1ce9a2212
parent b373fe2a58747ffe9c48b2e6f3ede473d7a96469
Author: Thorin-Oakenpants <Thorin-Oakenpants@users.noreply.github.com>
Date:   Thu,  9 Nov 2017 12:15:02 +1300

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

diff --git a/user.js b/user.js @@ -1771,7 +1771,7 @@ user_pref("browser.bookmarks.showRecentlyBookmarked", false); // user_pref("media.webm.enabled", false); // user_pref("media.wmf.enabled", false); // https://www.youtube.com/html5 - for the two H.264 entries // user_pref("media.wmf.amd.vp9.enabled", true); // (FF57+) -// user_pref("media.wmf.vp9.enabled", false); + // user_pref("media.wmf.vp9.enabled", false); /* 5026: disable "Reader View" ***/ // user_pref("reader.parse-on-load.enabled", false); /* 5027: decode URLs on copy from the urlbar (FF53+)