diff man/search.texi @ 34518:eedb5dec0918

(do_mouse_tracking): Make externally visible.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 13 Dec 2000 14:25:49 +0000
parents 396b07cf1395
children 8258a6628b85
line wrap: on
line diff