diff options
Diffstat (limited to 'doc/history.0')
-rw-r--r-- | doc/history.0 | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/history.0 b/doc/history.0 index 3362294..2923769 100644 --- a/doc/history.0 +++ b/doc/history.0 @@ -408,8 +408,8 @@ HHiissttoorryy FFuunnccttiioonnss _i_n_t hhiissttoorryy__wwrriittee__ttiimmeessttaammppss If non-zero, timestamps are written to the history file, so they can be - preserved between sessions. The default value is 0, meaning that - timestamps are not saved. + preserved between sessions. The default value is 0, meaning that time- + stamps are not saved. _c_h_a_r hhiissttoorryy__eexxppaannssiioonn__cchhaarr The character that introduces a history event. The default is !!. Set- @@ -485,4 +485,4 @@ BBUUGG RREEPPOORRTTSS -GNU History 5.0 2003 July 31 HISTORY(3) +GNU History 6.0 2003 July 31 HISTORY(3) |