diff src/w32gui.h @ 108731:2a2ab709769e

Regenerate configure.
author Glenn Morris <rgm@gnu.org>
date Thu, 20 May 2010 17:51:50 -0700
parents 1d1d5d9bd884
children 68ca98ae70fb 376148b31b5e
line wrap: on
line diff