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