Add a couple of fixes to allow double buffering to work
[picodrive.git] / platform / win32 / main.h
2009-10-05 notazthe old-new win32 port