diff options
Diffstat (limited to 'doc/gawktexi.in')
| -rw-r--r-- | doc/gawktexi.in | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/doc/gawktexi.in b/doc/gawktexi.in index d0136cc2..e190462e 100644 --- a/doc/gawktexi.in +++ b/doc/gawktexi.in @@ -1761,7 +1761,6 @@ significant editorial help for this @value{DOCUMENT} for the @cindex Rankin, Pat @cindex Schorr, Andrew @cindex Vinschen, Corinna -@cindex Wallin, Anders @cindex Zaretskii, Eli Dr.@: Nelson Beebe, @@ -1781,7 +1780,6 @@ Chet Ramey, Pat Rankin, Andrew Schorr, Corinna Vinschen, -Anders Wallin, and Eli Zaretskii (in alphabetical order) make up the current @@ -33708,6 +33706,10 @@ environments. (This is no longer supported) @item +@cindex Wallin, Anders +Anders Wallin helped keep the VMS port going for several years. + +@item @cindex Haque, John John Haque made the following contributions: |