diff src/w32select.c @ 47109:796b2ef84d40

(warning-series): Now can be a marker, not an integer. (display-warning): Handle new value for warning-series.
author Richard M. Stallman <rms@gnu.org>
date Thu, 29 Aug 2002 16:46:11 +0000
parents 40db0673e6f0
children 7e81df5e2e1a
line wrap: on
line diff