diff make-dist @ 5106:2df44d5e75eb

(delete_window_event): New event kind.
author Richard M. Stallman <rms@gnu.org>
date Mon, 22 Nov 1993 04:04:46 +0000
parents b4ed97a59663
children 9f18f50000e5
line wrap: on
line diff