diff man/search.texi @ 36706:19e4df2dab56

*** empty log message ***
author Gerd Moellmann <gerd@gnu.org>
date Fri, 09 Mar 2001 18:43:47 +0000
parents d26ad6e1f13f
children 6dee6cc113a5
line wrap: on
line diff