diff --git a/numberlines.awk b/numberlines.awk deleted file mode 100755 index 300455f..0000000 --- a/numberlines.awk +++ /dev/null @@ -1,4 +0,0 @@ -#!/usr/bin/awk -f - -{ printf "%5d\t%s\n", NR, $0; } -