From c89369f57ca591a99ad4c5f47f912b124dd26894 Mon Sep 17 00:00:00 2001 From: Igor Canadi Date: Wed, 17 Jun 2015 14:09:12 -0700 Subject: [PATCH] Move dockerbuild.sh to build_tools/ Summary: That's where we keep build tools :) Test Plan: none Reviewers: sdong Reviewed By: sdong Subscribers: dhruba, leveldb Differential Revision: https://reviews.facebook.net/D39741 --- dockerbuild.sh => build_tools/dockerbuild.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename dockerbuild.sh => build_tools/dockerbuild.sh (100%) diff --git a/dockerbuild.sh b/build_tools/dockerbuild.sh similarity index 100% rename from dockerbuild.sh rename to build_tools/dockerbuild.sh