diff INSTALL @ 14779:afbd0214f6ec

Must fontify only if we're actually showing a message.
author Simon Marshall <simon@gnu.org>
date Thu, 07 Mar 1996 10:38:29 +0000
parents dc00c671ed30
children 6c9d4880793a
line wrap: on
line diff