virer un résidu

2024-09-17 15:51:05 +02:00 · 2024-09-17 15:51:05 +02:00 · a1b0ffdabb
commit a1b0ffdabb
parent 16e1d7707a
1 changed files with 0 additions and 4 deletions
--- a/numberlines.awk
+++ b/numberlines.awk
@ -1,4 +0,0 @@
-#!/usr/bin/awk -f
-
-{ printf "%5d\t%s\n", NR, $0; }
-