diff man/search.texi @ 43536:84680f065f01

#
author André Spiegel <spiegel@gnu.org>
date Mon, 25 Feb 2002 22:12:37 +0000
parents feea30bbbf13
children 32211007711c
line wrap: on
line diff