user.js

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

commit 7cd2c650cbeaacba42fedd5962fdf6e3b4d86095
parent a1f10513eadf483f20b85e0a3c34afe2d265f56a
Author: claustromaniac <20734810+claustromaniac@users.noreply.github.com>
Date:   Wed, 27 Dec 2017 03:32:58 +0000

fix for previous commit

Take it or leave it. Up to you, as always.
Diffstat:
MprefsCleaner.bat | 2+-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prefsCleaner.bat b/prefsCleaner.bat @@ -73,7 +73,7 @@ SETLOCAL DisableDelayedExpansion SET "_line=%%H" SETLOCAL EnableDelayedExpansion SET "_pref=!_line: =!" - SET "_pref=!_line: =!" + SET "_pref=!_pref: =!" IF /I "user_pref"=="!_pref:~0,9!" ( FOR /F "delims=," %%X IN ("!_pref!") DO (SET "_pref=%%X") SET _pref=!_pref:"=""!