diff man/search.texi @ 44618:8190e28cdb6b

*** empty log message ***
author Gerd Moellmann <gerd@gnu.org>
date Tue, 16 Apr 2002 07:35:02 +0000
parents 32211007711c
children 230b150398fa
line wrap: on
line diff