From 03639148d73ed7e9e5c63f3a2e30ef811fc124c4 Mon Sep 17 00:00:00 2001 From: Dr K Murphy Date: Tue, 12 Mar 2024 11:29:38 +0100 Subject: [PATCH] change run script name --- run.sh => run-docs-site.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename run.sh => run-docs-site.sh (100%) diff --git a/run.sh b/run-docs-site.sh similarity index 100% rename from run.sh rename to run-docs-site.sh