This commit is contained in:
earthlng 2017-11-17 15:48:39 +01:00 committed by GitHub
parent fe752c8be3
commit 754ec610d1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -29,7 +29,7 @@ IF EXIST user.js (
) )
) ELSE ( ECHO user.js not found. ) ) ELSE ( ECHO user.js not found. )
ECHO. ECHO.
ECHO This batch should be run from your Firefox profile directory. It will download the latest version of ghacks user.js from github and then append any of your own changes from user-override.js to it. ECHO This batch should be run from your Firefox profile directory. It will download the latest version of ghacks user.js from github and then append any of your own changes from user-overrides.js to it.
ECHO. ECHO.
CHOICE /M "Continue" CHOICE /M "Continue"
IF ERRORLEVEL 2 GOTO end IF ERRORLEVEL 2 GOTO end