From adfed7f4c525f8e20a243761f18461141c6d06c7 Mon Sep 17 00:00:00 2001 From: Peter Eckersley Date: Tue, 15 Dec 2015 16:17:56 -0800 Subject: [PATCH] dev-release.sh -> release.sh --- tools/{dev-release.sh => release.sh} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename tools/{dev-release.sh => release.sh} (100%) diff --git a/tools/dev-release.sh b/tools/release.sh similarity index 100% rename from tools/dev-release.sh rename to tools/release.sh