# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 1002975335 0
# Node ID 9c1b9334eb73b1591f257533422a2ed5d20c6a43
# Parent  de2f745df40637510309f8183c076e85f0a1a537
Mark last change as documented in the manual.

diff -r de2f745df406 -r 9c1b9334eb73 etc/NEWS
--- a/etc/NEWS	Sat Oct 13 12:14:11 2001 +0000
+++ b/etc/NEWS	Sat Oct 13 12:15:35 2001 +0000
@@ -26,6 +26,7 @@
 `${foo}' in the specified new value of the environment variable.  To
 include a `$' in the value, use `$$'.
 
++++
 ** File-name completion can now ignore directories.
 If an element of the list in `completion-ignored-extensions' ends in a
 slash `/', it indicates a subdirectory that should be ignored when