diff src/w32gui.h @ 20047:735f0cdfc5b9

(winner-change-fun): Don't use pushnew.
author Karl Heuer <kwzh@gnu.org>
date Wed, 15 Oct 1997 22:41:09 +0000
parents 303cda7d14cb
children 236627b268cc
line wrap: on
line diff