diff make-dist @ 14407:78c37f6d697b

(event_kind): New event type: timer_event.
author Richard M. Stallman <rms@gnu.org>
date Mon, 29 Jan 1996 04:53:39 +0000
parents 05f4d693bbbf
children f41775f4f5c6
line wrap: on
line diff