game().get_gametime() should return uint32_t. We just haven't gotten around to fixing it.
https://bugs.launchpad.net/widelands/+bug/1380058
« Back to merge proposal
game(). get_gametime( ) should return uint32_t. We just haven't gotten around to fixing it.
https:/ /bugs.launchpad .net/widelands/ +bug/1380058