diff options
Diffstat (limited to 'doc/ChangeLog')
| -rw-r--r-- | doc/ChangeLog | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/doc/ChangeLog b/doc/ChangeLog index 2875d9a8..724a982c 100644 --- a/doc/ChangeLog +++ b/doc/ChangeLog @@ -1,3 +1,12 @@ +2018-11-25 Arnold D. Robbins <arnold@skeeve.com> + + * gawktexi.in: Document PROCINFO["platform"]. + * gawk.1: Ditto. + +2018-11-25 Arnold D. Robbins <arnold@skeeve.com> + + * gawktexi.in: Small typo fix. + 2018-11-24 Arnold D. Robbins <arnold@skeeve.com> * gawktexi.in (Assignment Options): Add description of assigning |