diff etc/NEWS @ 34979:d3bd8910095f

*** empty log message ***
author Gerd Moellmann <gerd@gnu.org>
date Tue, 02 Jan 2001 14:19:19 +0000
parents c96c07c36f33
children 5f3afb8a8ded
line wrap: on
line diff
--- a/etc/NEWS	Tue Jan 02 14:17:49 2001 +0000
+++ b/etc/NEWS	Tue Jan 02 14:19:19 2001 +0000
@@ -991,6 +991,11 @@
 *** The new function `comint-add-to-input-history' adds commands to the input
 ring (history).
 
+*** The new variable `comint-input-history-ignore' is a regexp for
+identifying history lines that should be ignored, like tcsh inserts in
+time-stamp strings starting a `#'.  The default value of this variable
+is "^#".
+
 ** Changes to Rmail mode
 
 *** The new user-option rmail-user-mail-address-regexp can be