(Info-fontify-node): Remove any local-map text properties left
authorEli Zaretskii <eliz@gnu.org>
Fri, 21 Dec 2001 19:31:06 +0000 (19:31 +0000)
committerEli Zaretskii <eliz@gnu.org>
Fri, 21 Dec 2001 19:31:06 +0000 (19:31 +0000)
commit066d7e2e7208455b69d51f3558effb0652c59edb
tree45dd3675b12aa3ba8a65825fca1ba76d9ebe7fa5
parent4dcd20ec59ac274c4b800c026aa38c437a305844
(Info-fontify-node): Remove any local-map text properties left
over from past visits to this node.
lisp/ChangeLog
lisp/info.el