diff man/search.texi @ 39511:3195d967e954

Fix previous change.
author Richard M. Stallman <rms@gnu.org>
date Mon, 01 Oct 2001 06:08:20 +0000
parents d8ab01673218
children c96b651c8c8e
line wrap: on
line diff