From 71ff10ee7e5b4fba2ae34595bfe2f0645579f76d Mon Sep 17 00:00:00 2001 From: Jakob Andersen Date: Fri, 1 Dec 2017 12:26:59 +0100 Subject: [PATCH] Moved repackage_gradle_wrapper.sh to dev/tools/. (#13294) --- {bin/internal => dev/tools}/repackage_gradle_wrapper.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename {bin/internal => dev/tools}/repackage_gradle_wrapper.sh (100%) diff --git a/bin/internal/repackage_gradle_wrapper.sh b/dev/tools/repackage_gradle_wrapper.sh similarity index 100% rename from bin/internal/repackage_gradle_wrapper.sh rename to dev/tools/repackage_gradle_wrapper.sh