diff man/search.texi @ 88732:47ddcc90547c

Changes from trunk.
author Dave Love <fx@gnu.org>
date Mon, 10 Jun 2002 15:35:49 +0000
parents feea30bbbf13
children 32211007711c
line wrap: on
line diff