From 66555e2d685de03ba0ecf07a299ff6350bdfcd68 Mon Sep 17 00:00:00 2001 From: Joshua Horton Date: Wed, 21 May 2025 11:36:58 +0700 Subject: [PATCH] maint: change builder_completion script to a .inc.sh Fixes: #14004 Cherry-pick-of: #14007 --- resources/{builder_completion.sh => builder_completion.inc.sh} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename resources/{builder_completion.sh => builder_completion.inc.sh} (100%) diff --git a/resources/builder_completion.sh b/resources/builder_completion.inc.sh similarity index 100% rename from resources/builder_completion.sh rename to resources/builder_completion.inc.sh