1 files changed, 0 insertions, 16 deletions
diff --git a/bin/Bfn b/bin/Bfn
deleted file mode 100755
index 636aee524..000000000
--- a/bin/Bfn
+++ /dev/null
@@ -1,16 +0,0 @@
-#!/bin/rc
-if(! ~ $#* 1){
-	echo usage: $0 fn >[2=1]
-	exit usage
-}
-res=`{grep -n '^'$1'\(' *.c | sed -n 's/^([^:]*:[^:]*).*$/\1/gp' }
-ifs='
-'
-for(i in $res)
-	echo $i
-switch($#res){
-case 0
-	echo $1: not found >[2=1]
-case 1
-	plumb $res
-}