diff etc/GNU @ 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 6b5aacec5ace
children 3ef78eaf5dca d7ddb3e565de 68c22ea6027c
line wrap: on
line diff