diff man/search.texi @ 31297:15e2e1de20c5

*** empty log message ***
author Gerd Moellmann <gerd@gnu.org>
date Wed, 30 Aug 2000 15:00:17 +0000
parents e500b247bb59
children 396b07cf1395
line wrap: on
line diff