From 7000ba189cff59d4a85596785dcdaa749d8e376f Mon Sep 17 00:00:00 2001
From: "Jonathan \"Duke\" Leto" <jonathan@leto.net>
Date: Mon, 19 Sep 2022 06:20:15 -0700
Subject: [PATCH] Move the rest of devtools to util/

---
 {contrib/devtools => util}/gen-linux-binary-release.sh | 0
 {contrib/devtools => util}/split-debug.sh              | 0
 {contrib/devtools => util}/test-security-check.py      | 0
 3 files changed, 0 insertions(+), 0 deletions(-)
 rename {contrib/devtools => util}/gen-linux-binary-release.sh (100%)
 rename {contrib/devtools => util}/split-debug.sh (100%)
 rename {contrib/devtools => util}/test-security-check.py (100%)

diff --git a/contrib/devtools/gen-linux-binary-release.sh b/util/gen-linux-binary-release.sh
similarity index 100%
rename from contrib/devtools/gen-linux-binary-release.sh
rename to util/gen-linux-binary-release.sh
diff --git a/contrib/devtools/split-debug.sh b/util/split-debug.sh
similarity index 100%
rename from contrib/devtools/split-debug.sh
rename to util/split-debug.sh
diff --git a/contrib/devtools/test-security-check.py b/util/test-security-check.py
similarity index 100%
rename from contrib/devtools/test-security-check.py
rename to util/test-security-check.py