summaryrefslogtreecommitdiff
path: root/doc/history.0
diff options
context:
space:
mode:
authorChet Ramey <chet.ramey@case.edu>2011-11-23 19:20:49 -0500
committerChet Ramey <chet.ramey@case.edu>2011-11-23 19:20:49 -0500
commit8e82c61d4caacfd43668bf1d2a7e23a0a21fa5bc (patch)
treed159ca5b29e675050fceebaea28437233f09396d /doc/history.0
parent518937ab89be812ccd45e9b8c1ce4ad721d35ef6 (diff)
downloadreadline-8e82c61d4caacfd43668bf1d2a7e23a0a21fa5bc.tar.gz
Readline-6.0 import
Diffstat (limited to 'doc/history.0')
-rw-r--r--doc/history.06
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)