diff man/search.texi @ 32586:40cebc20f02c

*** empty log message ***
author Gerd Moellmann <gerd@gnu.org>
date Tue, 17 Oct 2000 14:08:06 +0000
parents 396b07cf1395
children 8258a6628b85
line wrap: on
line diff