always tidy after push

main
Dominik Madarász 2023-10-10 07:23:34 +02:00
parent fe1647947a
commit 67a57c4339
1 changed files with 1 additions and 0 deletions

View File

@ -188,6 +188,7 @@ if "%1"=="push" (
git push
)
call make.bat vps
call make.bat tidy
exit /b
)