diff make-dist @ 8018:518971c497f5

(Info-next-preorder-1): New function. (Info-mouse-follow-nearest-node): Use that. (Info-follow-nearest-node): Use that.
author Richard M. Stallman <rms@gnu.org>
date Thu, 23 Jun 1994 14:24:38 +0000
parents cba3121c44b7
children bd5b4c5dda7f
line wrap: on
line diff