diff options
Diffstat (limited to 'awklib/eg/lib/nextfile.awk')
| -rw-r--r-- | awklib/eg/lib/nextfile.awk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/awklib/eg/lib/nextfile.awk b/awklib/eg/lib/nextfile.awk index 4bb07bc3..caedf0e4 100644 --- a/awklib/eg/lib/nextfile.awk +++ b/awklib/eg/lib/nextfile.awk @@ -1,5 +1,6 @@ # nextfile --- skip remaining records in current file # correctly handle successive occurrences of the same file +# # Arnold Robbins, arnold@gnu.org, Public Domain # May, 1993 |