diff man/search.texi @ 44133:098a9d37bf11

*** empty log message ***
author Gerd Moellmann <gerd@gnu.org>
date Sun, 24 Mar 2002 19:53:11 +0000
parents 32211007711c
children 230b150398fa
line wrap: on
line diff