diff man/search.texi @ 48283:2c1a49c60af1

#
author André Spiegel <spiegel@gnu.org>
date Wed, 13 Nov 2002 12:40:27 +0000
parents 5681198aa760
children 2eca4c95c2bf
line wrap: on
line diff