diff osdep/timer-win2.c @ 16047:7b8870739cc7

guard against double uninit (reportedly can happen on STRG+C)
author reimar
date Fri, 22 Jul 2005 11:17:05 +0000
parents f9755d9c479a
children 8df85ad26746
line wrap: on
line diff