diff man/search.texi @ 37599:750b22aa861a

*** empty log message ***
author Gerd Moellmann <gerd@gnu.org>
date Mon, 07 May 2001 11:24:51 +0000
parents a60e4b9d5ba3
children 2f80188cbbd6
line wrap: on
line diff