diff make-dist @ 13085:5be0696ddc1e

(Info-fontify-node): Fix previous change.
author Karl Heuer <kwzh@gnu.org>
date Mon, 25 Sep 1995 19:50:22 +0000
parents 1d30a1c68e44
children 5a333a8e0ee1
line wrap: on
line diff