diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2020-10-05 14:31:45 +0300 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2020-10-05 14:31:45 +0300 |
| commit | 375698fca45bff1b88c6e115e433a77c04399b5c (patch) | |
| tree | 6200b00d192027ecbaedee25198fbc59c05c2fac /doc/ChangeLog | |
| parent | c5077bb27833c6ccca6cfa21b93c75013d3e03bd (diff) | |
| download | egawk-375698fca45bff1b88c6e115e433a77c04399b5c.tar.gz egawk-375698fca45bff1b88c6e115e433a77c04399b5c.tar.bz2 egawk-375698fca45bff1b88c6e115e433a77c04399b5c.zip | |
Small doc edit.
Diffstat (limited to 'doc/ChangeLog')
| -rw-r--r-- | doc/ChangeLog | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/ChangeLog b/doc/ChangeLog index 60b891e3..62f8e0d8 100644 --- a/doc/ChangeLog +++ b/doc/ChangeLog @@ -1,3 +1,9 @@ +2020-10-05 Arnold D. Robbins <arnold@skeeve.com> + + * gawktexi.in: Minor edit related to compatiblity mode and + unknown options. Thanks to Arkadiusz Drabczyk <arkadiusz@drabczyk.org> + for raising the issue. + 2020-10-04 Arnold D. Robbins <arnold@skeeve.com> * gawktexi.in: Minor edits. |