1 files changed, 0 insertions, 17 deletions
diff --git a/util/tab_num.pl b/util/tab_num.pl
deleted file mode 100755
index a81ed0edc245..000000000000
--- a/util/tab_num.pl
+++ /dev/null
@@ -1,17 +0,0 @@
-#!/usr/local/bin/perl
-
-$num=1;
-$width=40;
-
-while (<>)
-	{
-	chop;
-
-	$i=length($_);
-
-	$n=$width-$i;
-	$i=int(($n+7)/8);
-	print $_.("\t" x $i).$num."\n";
-	$num++;
-	}
-