diff osdep/gettimeofday.c @ 33564:7dd27b046712

Fix compilation of w32 gui.
author reimar
date Sun, 19 Jun 2011 12:05:32 +0000
parents f5d48f0e33c3
children
line wrap: on
line diff