diff admin/FOR-RELEASE @ 68853:4e74c8b341d8

(info-xref-visited): Inherit from info-xref too. (Info-set-mode-line): Replace occurrences of `%' by `%%' when propertizing Info-current-file and Info-current-node.
author Juri Linkov <juri@jurta.org>
date Mon, 13 Feb 2006 15:42:23 +0000
parents 71001254327d
children 84c233e47d60 b98066f4aa10 4b3d39451150
line wrap: on
line diff