diff man/search.texi @ 66428:b6b976f53f61

*** empty log message ***
author Glenn Morris <rgm@gnu.org>
date Tue, 25 Oct 2005 07:32:56 +0000
parents 8430a6e62d6c
children feb2110d1e96 b1c1fc853d2f
line wrap: on
line diff