From 49af8c8d81ea785622fe037ed4db75a47aa359f4 Mon Sep 17 00:00:00 2001 From: watcherhd Date: Fri, 11 Aug 2017 08:08:41 +0300 Subject: unneeded scripts removed --- tools/build_scripts/bin15/git_update.bat | 5 ----- 1 file changed, 5 deletions(-) delete mode 100644 tools/build_scripts/bin15/git_update.bat (limited to 'tools/build_scripts/bin15/git_update.bat') 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 -- cgit v1.2.3