user.js

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

commit eba592c7e587ef914cab5ffd38996f619d8eff19
parent 46bfeca8c206f7c9715b6c59e2643b5fb647257f
Author: Thorin-Oakenpants <Thorin-Oakenpants@users.noreply.github.com>
Date:   Wed, 14 Jun 2017 06:08:25 +1200

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

diff --git a/user.js b/user.js @@ -510,7 +510,7 @@ user_pref("browser.cache.offline.enable", false); * [1] http://kb.mozillazine.org/Browser.sessionhistory.max_total_viewers ***/ // user_pref("browser.sessionhistory.max_total_viewers", 0); /* 1006: disable permissions manager from writing to disk (requires restart) - * [NOTE] This means any permission exceptions are session only + * [NOTE] This means any permission changes are session only * [1] https://bugzilla.mozilla.org/show_bug.cgi?id=967812 ***/ // user_pref("permissions.memory_only", true); // (hidden pref) /* 1007: disable randomized FF HTTP cache decay experiments