From f1dcb04179cfba7e987563d275532d0234c79c6c Mon Sep 17 00:00:00 2001 From: Kroese Date: Sun, 16 Apr 2023 13:27:29 +0200 Subject: [PATCH] Rename run.sh to run/run.sh --- run.sh => run/run.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename run.sh => run/run.sh (100%) diff --git a/run.sh b/run/run.sh similarity index 100% rename from run.sh rename to run/run.sh