diff man/search.texi @ 32034:259c9935f2db

*** empty log message ***
author Gerd Moellmann <gerd@gnu.org>
date Sat, 30 Sep 2000 14:35:11 +0000
parents e500b247bb59
children 396b07cf1395
line wrap: on
line diff