diff make-dist @ 3516:f1ca34ddfd84

(redisplay, echo_area_display): Use redraw_garbaged_frames.
author Richard M. Stallman <rms@gnu.org>
date Sun, 06 Jun 1993 06:46:06 +0000
parents 3f87ded07a67
children cecefb2ab758
line wrap: on
line diff