From 08108e39094dbfabe853a031c6c64eb338e6e015 Mon Sep 17 00:00:00 2001 From: Thanh Ha Date: Tue, 11 Aug 2020 13:44:45 -0400 Subject: [PATCH] Remove empty tools directory This directory contains nothing but a README. We are no longer using anything here for any reason so let's clean up the repo. Signed-off-by: Thanh Ha Change-Id: If570c272f28af10391cacfc56adfd77cc0e3d69c (cherry picked from commit d0d9a1b44bca0f28d6254a5312a62181bd1189c9) --- tools/README | 1 - 1 file changed, 1 deletion(-) delete mode 100644 tools/README diff --git a/tools/README b/tools/README deleted file mode 100644 index e028dc7bf..000000000 --- a/tools/README +++ /dev/null @@ -1 +0,0 @@ -Location for Tools for the Build -- 2.36.6