diff man/search.texi @ 46581:e767254f9b0c

(widget-documentation-string-value-create): Say "Hide Rest", not just "Hide".
author Richard M. Stallman <rms@gnu.org>
date Sat, 20 Jul 2002 22:15:15 +0000
parents 5681198aa760
children 2eca4c95c2bf
line wrap: on
line diff