user.js

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

commit b07cf1f03dd68dcb5e4c103dce163ecb740e417d
parent 683ef63b37bbdc3e19787b9a53a0c8547980d857
Author: Thorin-Oakenpants <Thorin-Oakenpants@users.noreply.github.com>
Date:   Fri,  5 Jun 2020 03:10:09 +0000

remove extra line from last commit, save one byte
Diffstat:
Muser.js | 1-
1 file changed, 0 insertions(+), 1 deletion(-)

diff --git a/user.js b/user.js @@ -1587,7 +1587,6 @@ user_pref("ui.systemUsesDarkTheme", 0); // [HIDDEN PREF] // 4617: enforce prefers-reduced-motion as no-preference [FF63+] // 0=no-preference, 1=reduce user_pref("ui.prefersReducedMotion", 0); // [HIDDEN PREF] - // * * * / // ***/