comparison make-dist @ 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 2cadd1e7bd46
children b99080e25b28 7beb78bc1f8e
comparison
equal deleted inserted replaced
68852:6f2a87fed652 68853:4e74c8b341d8