# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 978445159 0
# Node ID d3bd8910095f0bc6f96984bfcb61d6cd430495dd
# Parent  3984e029f738250b9e55b127e3925b5ff110f4cd
*** empty log message ***

diff -r 3984e029f738 -r d3bd8910095f etc/NEWS
--- 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