From ac745c8bf5fe8c27a6af23b794a3f9e28cb3e1c5 Mon Sep 17 00:00:00 2001 From: Tim Abbott Date: Tue, 29 Oct 2013 16:17:40 -0400 Subject: [PATCH] Move install-server under tools/. (imported from commit 0999b09fbfd9f28a4bd421565aa8a884b7d2c3bc) --- {servers => tools}/install-server | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename {servers => tools}/install-server (100%) diff --git a/servers/install-server b/tools/install-server similarity index 100% rename from servers/install-server rename to tools/install-server