From 7586933c85593a8f2cb11e47ee11c8b68a89f14b Mon Sep 17 00:00:00 2001 From: Michael R Sweet Date: Fri, 26 Apr 2019 09:59:24 -0400 Subject: [PATCH] Rename "tools" to "scripts", since that's what is contained. --- {tools => scripts}/checkglobals | 0 {tools => scripts}/listpublic | 0 {tools => scripts}/makesrcdist | 0 {tools => scripts}/makesrcdist-obsolete | 0 {tools => scripts}/pdftops-darwin.sh | 0 {tools => scripts}/testrpm | 0 6 files changed, 0 insertions(+), 0 deletions(-) rename {tools => scripts}/checkglobals (100%) rename {tools => scripts}/listpublic (100%) rename {tools => scripts}/makesrcdist (100%) rename {tools => scripts}/makesrcdist-obsolete (100%) rename {tools => scripts}/pdftops-darwin.sh (100%) rename {tools => scripts}/testrpm (100%) diff --git a/tools/checkglobals b/scripts/checkglobals similarity index 100% rename from tools/checkglobals rename to scripts/checkglobals diff --git a/tools/listpublic b/scripts/listpublic similarity index 100% rename from tools/listpublic rename to scripts/listpublic diff --git a/tools/makesrcdist b/scripts/makesrcdist similarity index 100% rename from tools/makesrcdist rename to scripts/makesrcdist diff --git a/tools/makesrcdist-obsolete b/scripts/makesrcdist-obsolete similarity index 100% rename from tools/makesrcdist-obsolete rename to scripts/makesrcdist-obsolete diff --git a/tools/pdftops-darwin.sh b/scripts/pdftops-darwin.sh similarity index 100% rename from tools/pdftops-darwin.sh rename to scripts/pdftops-darwin.sh diff --git a/tools/testrpm b/scripts/testrpm similarity index 100% rename from tools/testrpm rename to scripts/testrpm -- 2.47.2