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