diff options
| author | George Hazan <ghazan@miranda.im> | 2017-09-27 17:51:30 +0300 |
|---|---|---|
| committer | George Hazan <ghazan@miranda.im> | 2017-09-27 17:51:30 +0300 |
| commit | 70df70d9bf061fd42523357bc8a34bf4323da964 (patch) | |
| tree | aa4a4e7b634104b4e9676d9d60de7f17bd312867 /tools/build_scripts/bin10/git_update.bat | |
| parent | b43080c4db1955b3e83a7d4a7aa406ed9a589888 (diff) | |
build scripts cleaning
Diffstat (limited to 'tools/build_scripts/bin10/git_update.bat')
| -rw-r--r-- | tools/build_scripts/bin10/git_update.bat | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/tools/build_scripts/bin10/git_update.bat b/tools/build_scripts/bin10/git_update.bat deleted file mode 100644 index 9936973e18..0000000000 --- a/tools/build_scripts/bin10/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 |