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" "$@"