From 2fe982dc76066eaaa2f5e6fadd532b060447922c Mon Sep 17 00:00:00 2001 From: Anton Vakhrushev Date: Sat, 30 Jun 2018 09:11:09 +0300 Subject: [PATCH] Rename docker build script --- tools/{build => build-docker} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename tools/{build => build-docker} (100%) diff --git a/tools/build b/tools/build-docker similarity index 100% rename from tools/build rename to tools/build-docker