diff man/search.texi @ 28140:343d3197bdea

*** empty log message ***
author Gerd Moellmann <gerd@gnu.org>
date Tue, 14 Mar 2000 17:02:06 +0000
parents 60b77d9b88ec
children ec699636f83a
line wrap: on
line diff