diff options
Diffstat (limited to 'doc/ChangeLog')
| -rw-r--r-- | doc/ChangeLog | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/ChangeLog b/doc/ChangeLog index 3239cba5..9c45d1ea 100644 --- a/doc/ChangeLog +++ b/doc/ChangeLog @@ -16,6 +16,11 @@ * gawktexi.in: Add Katie Wasserman's program to compute the digits of PI. + Unrelated: + + * gawktexi.in: Document the differences between profiling + and pretty printing. + 2014-09-30 Arnold D. Robbins <arnold@skeeve.com> * gawktexi.in: More fixes after reading through the MS. |