diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2018-08-02 20:43:56 +0300 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2018-08-02 20:43:56 +0300 |
| commit | b32c67e0f99672ad4104cee4695b5eb040df16f4 (patch) | |
| tree | f59c2329e2183fb12e4496306bb7893620bb966c /doc/gawk.1 | |
| parent | b98257919b20bdfc14f363761cc6215c1ad8bcee (diff) | |
| parent | 3998ed059bbcfc189cd0d6c5762913fbd4ff4e77 (diff) | |
| download | egawk-b32c67e0f99672ad4104cee4695b5eb040df16f4.tar.gz egawk-b32c67e0f99672ad4104cee4695b5eb040df16f4.tar.bz2 egawk-b32c67e0f99672ad4104cee4695b5eb040df16f4.zip | |
Merge branch 'gawk-4.2-stable' into feature/gnulib-regex
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 |