another change

2023-08-11 01:17:10 +02:00 · 2023-08-11 01:17:10 +02:00 · 4093f97dec
parent 4964c6dc04
commit 4093f97dec
1 changed files with 3 additions and 0 deletions
--- a/MAKE.bat
+++ b/MAKE.bat
@ -401,6 +401,9 @@ if "%1"=="push" (
    git status
    git add .
    git commit
    if "%2"=="out" (
        git push
    )
    exit /b
 )