From ff4350ec9083d89eb9a8e11c41d7c49212797f4f Mon Sep 17 00:00:00 2001 From: mfahampshire Date: Fri, 18 Aug 2023 14:36:46 +0200 Subject: [PATCH] changed name of script for staging to dist/ --- documentation/{staging.sh => build_all_to_dist.sh} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename documentation/{staging.sh => build_all_to_dist.sh} (100%) diff --git a/documentation/staging.sh b/documentation/build_all_to_dist.sh similarity index 100% rename from documentation/staging.sh rename to documentation/build_all_to_dist.sh