diff --git a/tools/ release.sh b/tools/release.sh similarity index 100% rename from tools/ release.sh rename to tools/release.sh