diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2019-11-08 14:24:33 +0200 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2019-11-08 14:24:33 +0200 |
| commit | b80f370b1f51e10db175f2697847ec129a454dac (patch) | |
| tree | d745db422dabe6f52e3f93e20d9e3c00289ba22d | |
| parent | a4f9e9d4adbbf55a4225484ef3d04e8cf5e3046c (diff) | |
| download | egawk-b80f370b1f51e10db175f2697847ec129a454dac.tar.gz egawk-b80f370b1f51e10db175f2697847ec129a454dac.tar.bz2 egawk-b80f370b1f51e10db175f2697847ec129a454dac.zip | |
Small fix in doc/ChangeLog.
| -rw-r--r-- | doc/ChangeLog | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/ChangeLog b/doc/ChangeLog index 8671f180..f9f2b4d7 100644 --- a/doc/ChangeLog +++ b/doc/ChangeLog @@ -2,6 +2,7 @@ * gawktexi.in: Document that readdir extension can cause a fatal error, which should be handled with BEGINFILE. + * gawk.1: Ditto. 2019-10-16 Arnold D. Robbins <arnold@skeeve.com> |