1 files changed, 0 insertions, 27 deletions
diff --git a/bin/" b/bin/"
deleted file mode 100755
index e0f7c8f9..00000000
--- a/bin/"
+++ /dev/null
@@ -1,27 +0,0 @@
-#!/usr/local/plan9/bin/rc
-
-. 9.rc
-
-fn text {
-	if(~ $winid [0-9]*)
-		9p read acme/$winid/body
-	if not if(~ $text9term unix!*)
-		dial -e $text9term </dev/null
-	if not
-		status=''
-}
-
-PROMPT='[^ 	]*[%;$#][ 	]+'
-
-fn cmds {
-	text | sed -n 's/^'$PROMPT'([^"])/	\1/p'
-}
-
-switch($#*) {
-case 0
-	cmds | tail -1
-case *
-	cmds | grep -n '^	'^$"* | tail -r |
-		sort -u +1 | sort -n |
-		sed 's/^[0-9]+: //'
-}