diff options
Diffstat (limited to 'Doc/lib/libpprint.tex')
-rw-r--r-- | Doc/lib/libpprint.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/lib/libpprint.tex b/Doc/lib/libpprint.tex index 82eb197..3ecc7bc 100644 --- a/Doc/lib/libpprint.tex +++ b/Doc/lib/libpprint.tex @@ -1,5 +1,5 @@ \section{\module{pprint} --- - Data pretty printer.} + Data pretty printer} \declaremodule{standard}{pprint} \modulesynopsis{Data pretty printer.} |