diff options
Diffstat (limited to 'doc/ChangeLog')
-rw-r--r-- | doc/ChangeLog | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/ChangeLog b/doc/ChangeLog index 515567a6..0e12cae7 100644 --- a/doc/ChangeLog +++ b/doc/ChangeLog @@ -1,3 +1,10 @@ +2019-12-15 Arnold D. Robbins <arnold@skeeve.com> + + * gawktexi.in: Use `@codequoteundirected on' and + `@codequotebacktick on' to get straight quotes in PDF. Thanks + to empirical@quantbo.com for the report and to Assaf Gordon + for the pointer to the fix. + 2019-11-21 Arnold D. Robbins <arnold@skeeve.com> * gawktexi.in: Document that the time extension is now obsolete. |