diff make-dist @ 29085:602b7988fdb1

(Info-fontify-node): fixed the call to add-text-properties
author Sam Steingold <sds@gnu.org>
date Mon, 22 May 2000 18:15:56 +0000
parents 9eb6792eefac
children 43f15cfb67a0
line wrap: on
line diff