diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2010-07-16 12:57:07 +0300 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2010-07-16 12:57:07 +0300 |
| commit | 3ca7f0b16d0a5c105380b284a81c6a1b2c210908 (patch) | |
| tree | c2153d226b9cba3ebca0c3556b19bf3e52cd20dd /awklib/eg/prog/extract.awk | |
| parent | f20ab7c3039a4023f41372bfe4bde3b16d481df7 (diff) | |
| download | egawk-3ca7f0b16d0a5c105380b284a81c6a1b2c210908.tar.gz egawk-3ca7f0b16d0a5c105380b284a81c6a1b2c210908.tar.bz2 egawk-3ca7f0b16d0a5c105380b284a81c6a1b2c210908.zip | |
Move to gawk-3.0.5.
Diffstat (limited to 'awklib/eg/prog/extract.awk')
| -rw-r--r-- | awklib/eg/prog/extract.awk | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/awklib/eg/prog/extract.awk b/awklib/eg/prog/extract.awk index f30ef458..65f3f2d2 100644 --- a/awklib/eg/prog/extract.awk +++ b/awklib/eg/prog/extract.awk @@ -1,7 +1,6 @@ # extract.awk --- extract files and run programs # from texinfo files -# Arnold Robbins, arnold@gnu.org, Public Domain -# May 1993 +# Arnold Robbins, arnold@gnu.org, Public Domain, May 1993 BEGIN { IGNORECASE = 1 } |