diff man/search.texi @ 46616:676039ef9a4e

(double-click-fuzz): Added.
author Richard M. Stallman <rms@gnu.org>
date Mon, 22 Jul 2002 15:22:49 +0000
parents 5681198aa760
children 2eca4c95c2bf
line wrap: on
line diff