diff man/search.texi @ 39089:64e39b9789cc

*** empty log message ***
author Gerd Moellmann <gerd@gnu.org>
date Mon, 03 Sep 2001 08:21:22 +0000
parents d8ab01673218
children c96b651c8c8e
line wrap: on
line diff