diff man/search.texi @ 46676:f0b8a25b0b7d

comment
author Dave Love <fx@gnu.org>
date Wed, 24 Jul 2002 22:23:44 +0000
parents 5681198aa760
children 2eca4c95c2bf
line wrap: on
line diff