diff src/w32gui.h @ 72317:5e59478af974

update from texinfo
author Karl Berry <karl@gnu.org>
date Tue, 08 Aug 2006 16:27:41 +0000
parents 3bd95f4f2941
children e90d04cd455a c5406394f567
line wrap: on
line diff