diff options
| author | watcherhd <watcherhd@gmail.com> | 2017-08-11 08:08:41 +0300 |
|---|---|---|
| committer | watcherhd <watcherhd@gmail.com> | 2017-08-11 08:08:56 +0300 |
| commit | 49af8c8d81ea785622fe037ed4db75a47aa359f4 (patch) | |
| tree | a5dcbc3a29a1a625597545e299d67b8e826a371a /tools/build_scripts/bin15/git_update.bat | |
| parent | bb751cb231abc116f1a2b1385a7ce7d0e2884342 (diff) | |
unneeded scripts removed
Diffstat (limited to 'tools/build_scripts/bin15/git_update.bat')
| -rw-r--r-- | tools/build_scripts/bin15/git_update.bat | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/tools/build_scripts/bin15/git_update.bat b/tools/build_scripts/bin15/git_update.bat deleted file mode 100644 index 9936973e18..0000000000 --- a/tools/build_scripts/bin15/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 |