diff Makefile.in @ 2032:20cc6c34421c

(Info-summary): Handle any event when flushing the display.
author Richard M. Stallman <rms@gnu.org>
date Sat, 06 Mar 1993 06:15:39 +0000
parents 9d213c299866
children 2345bb83831a
line wrap: on
line diff