From 5d0b6aa016f152d2b4536b98153b83e2bb522c98 Mon Sep 17 00:00:00 2001 From: Luke Campagnola Date: Wed, 5 Oct 2016 09:33:28 -0700 Subject: [PATCH] move release tools --- tools/{release => }/build-pg-release.py | 0 tools/{release/REAME.md => release_instructions.md} | 0 tools/{release => }/shell.py | 0 3 files changed, 0 insertions(+), 0 deletions(-) rename tools/{release => }/build-pg-release.py (100%) rename tools/{release/REAME.md => release_instructions.md} (100%) rename tools/{release => }/shell.py (100%) diff --git a/tools/release/build-pg-release.py b/tools/build-pg-release.py similarity index 100% rename from tools/release/build-pg-release.py rename to tools/build-pg-release.py diff --git a/tools/release/REAME.md b/tools/release_instructions.md similarity index 100% rename from tools/release/REAME.md rename to tools/release_instructions.md diff --git a/tools/release/shell.py b/tools/shell.py similarity index 100% rename from tools/release/shell.py rename to tools/shell.py