hydrus/git_pull.bat

@ECHO off

pushd "%~dp0"

where /q git
IF ERRORLEVEL 1 (

	SET /P gumpf="You do not seem to have git installed!"
	
	popd
	
	EXIT /B 1
	
)

git pull

popd

SET /P done="Done!"
Version 503 closes #1254 2022-10-19 20:44:13 +00:00			`@ECHO off`

Version 507 2022-11-23 21:01:41 +00:00			`pushd "%~dp0"`

Merged setup files and some version tweaking 2022-11-03 03:09:07 +00:00			`where /q git`
			`IF ERRORLEVEL 1 (`

Version 541 2023-08-30 16:25:24 +00:00			`SET /P gumpf="You do not seem to have git installed!"`
Version 507 2022-11-23 21:01:41 +00:00
			`popd`

Merged setup files and some version tweaking 2022-11-03 03:09:07 +00:00			`EXIT /B 1`

			`)`

Version 503 closes #1254 2022-10-19 20:44:13 +00:00			`git pull`

Version 507 2022-11-23 21:01:41 +00:00			`popd`

Version 541 2023-08-30 16:25:24 +00:00			`SET /P done="Done!"`