diff man/eudc.texi @ 35136:1eb26b81ece0

(Info-search): Print the default as part of the prompt.
author Eli Zaretskii <eliz@gnu.org>
date Mon, 08 Jan 2001 16:59:54 +0000
parents 95bdbefcdac6
children 730f77edf073
line wrap: on
line diff