Jonathan Westhues 57db9bea34 Use a higher-res timer for GetMilliseconds(), and tweak some stuff. ... [git-p4: depot-paths = "//depot/solvespace/": change = 1765]		2008-06-01 01:46:02 -08:00
..
w32main.cpp	Use a higher-res timer for GetMilliseconds(), and tweak some stuff.	2008-06-01 01:46:02 -08:00