From 259c3ccf5c1bc727addd05151154c31006b5ae18 Mon Sep 17 00:00:00 2001 From: Florian Hoss Date: Wed, 2 Aug 2023 20:33:44 +0200 Subject: [PATCH] Move dev.sh to scripts --- dev.sh => scripts/dev.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename dev.sh => scripts/dev.sh (100%) diff --git a/dev.sh b/scripts/dev.sh similarity index 100% rename from dev.sh rename to scripts/dev.sh