diff nt/gmake.defs @ 32533:ec12d23c8eea

(Info-set-mode-line): Use `%b' instead of hardwired string "*Info*". Call propertized-buffer-identification to spruce up the result.
author Miles Bader <miles@gnu.org>
date Mon, 16 Oct 2000 13:59:49 +0000
parents 7e706d145fab
children 8f4d667d32c2
line wrap: on
line diff