diff src/m/mips.h @ 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 05b443a967d2
children 8ef6f1ac6729
line wrap: on
line diff