~widelands-dev/widelands/trunk

Viewing all changes in revision 9072.

  • 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

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: