From 8c9f856ada8584eeaa239f8eccb8940b0004c85d Mon Sep 17 00:00:00 2001
From: Aiirondev <iron.ai.dev@gmail.com>
Date: Sun, 12 Jul 2026 10:29:25 +0200
Subject: [PATCH] removal of unused script

---
 Website/launch_dev.sh | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100755 Website/launch_dev.sh

diff --git a/Website/launch_dev.sh b/Website/launch_dev.sh
deleted file mode 100755
index b66a068..0000000
--- a/Website/launch_dev.sh
+++ /dev/null
@@ -1,7 +0,0 @@
-#!/usr/bin/env bash
-set -euo pipefail
-
-SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
-
-# Backward-compatible wrapper: the canonical launcher is now launch.sh
-exec "$SCRIPT_DIR/launch.sh" "$@"