slightly faster map reloading on restart; enabled "--game-scale" cli arg in non-debug...
treed0a53aabf8a02a1ae1672af30050e98946a51edb
-rw-r--r-- 35147 COPYING
-rw-r--r-- 935 README
drwxr-xr-x - src