-
Committer:
Wideland's Bunnybot
-
Date:
2019-04-24 07:09:29 UTC
-
mfrom:
(9033.3.9 editor-resize-map)
-
Revision ID:
bunnybot@widelands.org-20190424070929-x3jkcmzcih3av314
Merged lp:~widelands-dev/widelands/editor-resize-map:
Add an editor tool to change the map size