diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2018-08-02 20:41:40 +0300 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2018-08-02 20:41:40 +0300 |
| commit | ef5a30e67615e1acc931e2f542b09f114ba30a97 (patch) | |
| tree | 6f99a27e320b0a90830475bb53afcdae050726ab /doc/gawk.1 | |
| parent | 0b5a1bcd8b7189cb2d3048ef8e8d39dd33e2bec6 (diff) | |
| parent | 48f02e6672003d218d4c0348a6add7931522603b (diff) | |
| download | egawk-ef5a30e67615e1acc931e2f542b09f114ba30a97.tar.gz egawk-ef5a30e67615e1acc931e2f542b09f114ba30a97.tar.bz2 egawk-ef5a30e67615e1acc931e2f542b09f114ba30a97.zip | |
Merge branch 'master' into feature/fix-comments
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 |