diff man/search.texi @ 36775:5ace71a7262b

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