diff man/search.texi @ 27508:64f97cc2e021

Revert last change.
author Dave Love <fx@gnu.org>
date Sun, 30 Jan 2000 13:19:09 +0000
parents d21dbd5dc0b1
children 5c14849aee4c
line wrap: on
line diff