From 3e2ea87785ca2b6f8f1cea656d3bf69c4c1a72d9 Mon Sep 17 00:00:00 2001 From: Joerg Behrmann Date: Thu, 20 Aug 2020 14:42:29 +0200 Subject: [PATCH] move do-a-release.sh to tools directory --- do-a-release.sh => tools/do-a-release.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename do-a-release.sh => tools/do-a-release.sh (100%) diff --git a/do-a-release.sh b/tools/do-a-release.sh similarity index 100% rename from do-a-release.sh rename to tools/do-a-release.sh -- 2.47.2