diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2015-03-20 17:19:15 +0200 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2015-03-20 17:19:15 +0200 |
| commit | a31a42403b841ef05ca9143a431c8b6f1021a958 (patch) | |
| tree | 09668a5683a34d8fcc114c105a6148dd3b717b26 /awklib/eg/prog/extract.awk | |
| parent | 2473b938036dfdd32ff47833ea032a80a6fa5659 (diff) | |
| parent | 480aca31c7772dafeb1b97cd7a768bca2f49d3c7 (diff) | |
| download | egawk-a31a42403b841ef05ca9143a431c8b6f1021a958.tar.gz egawk-a31a42403b841ef05ca9143a431c8b6f1021a958.tar.bz2 egawk-a31a42403b841ef05ca9143a431c8b6f1021a958.zip | |
Merge branch 'master' into select
Diffstat (limited to 'awklib/eg/prog/extract.awk')
| -rw-r--r-- | awklib/eg/prog/extract.awk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/awklib/eg/prog/extract.awk b/awklib/eg/prog/extract.awk index 24f40ce5..f5dfcf40 100644 --- a/awklib/eg/prog/extract.awk +++ b/awklib/eg/prog/extract.awk @@ -1,4 +1,4 @@ -# extract.awk --- extract files and run programs from texinfo files +# extract.awk --- extract files and run programs from Texinfo files # # Arnold Robbins, arnold@skeeve.com, Public Domain # May 1993 |