diff man/search.texi @ 36823:ba833b7881d0

*** empty log message ***
author Gerd Moellmann <gerd@gnu.org>
date Thu, 15 Mar 2001 13:29:29 +0000
parents d26ad6e1f13f
children 6dee6cc113a5
line wrap: on
line diff