-
Juri Linkov authored
(Info-set-mode-line): Replace occurrences of `%' by `%%' when propertizing Info-current-file and Info-current-node.
fd5b25da
(Info-set-mode-line): Replace occurrences of `%' by `%%' when propertizing Info-current-file and Info-current-node.