diff man/search.texi @ 47239:2c1dc857a83b

Small clarifications.
author Richard M. Stallman <rms@gnu.org>
date Thu, 05 Sep 2002 02:43:05 +0000
parents 5681198aa760
children 2eca4c95c2bf
line wrap: on
line diff