Add a couple of fixes to allow double buffering to work
[picodrive.git] / platform / gp2x / PicoDrive.ini
2013-10-04 notazgp2x: various fixes, prepare for release