removal of unused script

2026-07-12 10:29:25 +02:00
parent 03d79b9257
commit 8c9f856ada
1 changed files with 0 additions and 7 deletions
@@ -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" "$@"