diff man/search.texi @ 40544:e625c7d12793

*** empty log message ***
author Gerd Moellmann <gerd@gnu.org>
date Wed, 31 Oct 2001 10:06:35 +0000
parents 549e09fb7907
children feea30bbbf13
line wrap: on
line diff