diff options
Diffstat (limited to 'tools/build_scripts/bin12/git_update.bat')
| -rw-r--r-- | tools/build_scripts/bin12/git_update.bat | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/tools/build_scripts/bin12/git_update.bat b/tools/build_scripts/bin12/git_update.bat deleted file mode 100644 index 9936973e18..0000000000 --- a/tools/build_scripts/bin12/git_update.bat +++ /dev/null @@ -1,5 +0,0 @@ -pushd .. - -git pull --rebase=true --progress -v 2>&1 > update.log - -popd
\ No newline at end of file |