diff make-dist @ 22078:f4099a0f3575

(w32_wnd_proc): Call signal_quit when C-g is received.
author Richard M. Stallman <rms@gnu.org>
date Fri, 15 May 1998 20:53:53 +0000
parents 8ff5c2a5ee26
children d929ae6f35d3
line wrap: on
line diff