1 files changed, 0 insertions, 6 deletions
diff --git a/Biz/Ide/run b/Biz/Ide/run
deleted file mode 100755
index f7b9d36..0000000
--- a/Biz/Ide/run
+++ /dev/null
@@ -1,6 +0,0 @@
-#!/usr/bin/env bash
-set -eu
-target=$1
-shift
-out=$(rg --only-matching ": out (\w*)" -r '$1' $target)
-exec "${CODEROOT:?}/_/bin/$out" "$@"