diff man/search.texi @ 44842:1fe8ce420ab2

*** empty log message ***
author Gerd Moellmann <gerd@gnu.org>
date Thu, 25 Apr 2002 14:21:47 +0000
parents 230b150398fa
children b0768ec46559
line wrap: on
line diff