1 files changed, 0 insertions, 10 deletions
diff --git a/bin/"" b/bin/""
deleted file mode 100755
index c77da34d..00000000
--- a/bin/""
+++ /dev/null
@@ -1,10 +0,0 @@
-#!/usr/local/plan9/bin/rc
-
-cmd = `{" $* | tail -1}
-if (~ $#cmd 0) {
-	echo no such command found >[1=2]
-	exit notfound
-}
-
-echo '	' $cmd >[1=2]
-rc -c $"cmd