diff make-dist @ 4261:f9599125f7f0

(Info-select-node): Run Info-selection-hook.
author Richard M. Stallman <rms@gnu.org>
date Sat, 24 Jul 1993 17:35:02 +0000
parents c720be6f3fae
children 15c60018d647
line wrap: on
line diff