diff etc/PROBLEMS @ 29675:4eb75bd04c1b

(Info-set-mode-line): Show file name in mode line, use `*Info*' instead of `Info:'.
author Gerd Moellmann <gerd@gnu.org>
date Thu, 15 Jun 2000 14:42:48 +0000
parents a7963e66c555
children f44a8a68506f
line wrap: on
line diff