diff make-dist @ 11571:771bd7ddd4cc

(sc-raw-mode-toggle): Use force-mode-line-update.
author Karl Heuer <kwzh@gnu.org>
date Tue, 25 Apr 1995 22:25:51 +0000
parents 52bf246dd940
children e3434c390970
line wrap: on
line diff