From 644f43bcc616d1e1410d64c903862184aeff835d Mon Sep 17 00:00:00 2001 From: "Jonathan \"Duke\" Leto" Date: Mon, 19 Sep 2022 06:14:11 -0700 Subject: [PATCH] move gen-manpages to util/ --- {contrib/devtools => util}/gen-manpages.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename {contrib/devtools => util}/gen-manpages.sh (100%) diff --git a/contrib/devtools/gen-manpages.sh b/util/gen-manpages.sh similarity index 100% rename from contrib/devtools/gen-manpages.sh rename to util/gen-manpages.sh