diff man/search.texi @ 36151:8597da1b1ab7

Minor changes in previous change.
author Richard M. Stallman <rms@gnu.org>
date Sat, 17 Feb 2001 16:46:57 +0000
parents bebad4c9dbcc
children 548a3aac5d5d
line wrap: on
line diff