diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2018-08-02 20:39:01 +0300 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2018-08-02 20:39:01 +0300 |
| commit | 48f02e6672003d218d4c0348a6add7931522603b (patch) | |
| tree | 052246fdd311d0bcd540a5ab3c41187a7065a971 /doc/gawk.1 | |
| parent | 39a49e9e54b19cc8a51f8f6030bef65d7adf952f (diff) | |
| parent | 3998ed059bbcfc189cd0d6c5762913fbd4ff4e77 (diff) | |
| download | egawk-48f02e6672003d218d4c0348a6add7931522603b.tar.gz egawk-48f02e6672003d218d4c0348a6add7931522603b.tar.bz2 egawk-48f02e6672003d218d4c0348a6add7931522603b.zip | |
Merge branch 'gawk-4.2-stable'
Diffstat (limited to 'doc/gawk.1')
| -rw-r--r-- | doc/gawk.1 | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -4050,7 +4050,7 @@ and which ports are currently supported. If you find a bug in .IR gawk , please send electronic mail to -.BR bug-gawk@gnu.org . +.BR \%bug-gawk@gnu.org . Please include your operating system and its revision, the version of .I gawk (from |