diff src/w32select.c @ 108638:08c1b90a24ee

Regenerate configure.
author Glenn Morris <rgm@gnu.org>
date Mon, 17 May 2010 19:54:25 -0700
parents 1d1d5d9bd884
children e27859da5624 734b2470f93c
line wrap: on
line diff