diff man/search.texi @ 38590:7c2e49c3cf0a

*** empty log message ***
author Gerd Moellmann <gerd@gnu.org>
date Fri, 27 Jul 2001 15:29:54 +0000
parents eb0f8509d107
children d8ab01673218
line wrap: on
line diff