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 552ece4e..b0782d51 100644 --- a/doc/ChangeLog +++ b/doc/ChangeLog @@ -7,6 +7,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. |