diff man/search.texi @ 64640:993b52f1f2a5

Regenerate.
author Paul Eggert <eggert@twinsun.com>
date Tue, 26 Jul 2005 21:44:41 +0000
parents a77d510ff94d
children 3723093a21fd fbb2bea03df9
line wrap: on
line diff