From 9c947004139d0d0ae5a879cd4c120891f8a8d51e Mon Sep 17 00:00:00 2001 From: Elrond Date: Sat, 14 Jan 2012 12:54:16 +0100 Subject: [PATCH] Move maketarball.sh into devtools/ Now that there is a devtools directory, use it! --- maketarball.sh => devtools/maketarball.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename maketarball.sh => devtools/maketarball.sh (100%) diff --git a/maketarball.sh b/devtools/maketarball.sh similarity index 100% rename from maketarball.sh rename to devtools/maketarball.sh -- 2.25.1