diff man/search.texi @ 54128:520476f3222d

*** empty log message ***
author Glenn Morris <rgm@gnu.org>
date Mon, 23 Feb 2004 00:11:12 +0000
parents 3649390c0f91
children d46dec533480
line wrap: on
line diff