diff options
Diffstat (limited to 'doc/ChangeLog')
| -rw-r--r-- | doc/ChangeLog | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/ChangeLog b/doc/ChangeLog index 1c01a45d..2cada32d 100644 --- a/doc/ChangeLog +++ b/doc/ChangeLog @@ -1,3 +1,11 @@ +2016-08-01 Arnold D. Robbins <arnold@skeeve.com> + + * gawktexi.in: Mark DJGPP port as unsupported. + +2016-07-24 Arnold D. Robbins <arnold@skeeve.com> + + * gawktexi.in: Fix a typo. Thanks to Marco Curreli for reporting. + 2016-07-23 Arnold D. Robbins <arnold@skeeve.com> * gawktexi.in: Document return value of close on a pipe now like |