bzar/wars-gamenode — pull request #9 by zarr (2014-06-04 20:53:28+00:00)
Title: More high DPI changes

Please review the server part of the high DPI option. It's not tested as I currently have no environment for running it.