~widelands-dev/widelands/bug_1784151_fix_emp04_due_to_changed_program_names

Viewing all changes in revision 8772.

  • Committer: Wideland's Bunnybot
  • Date: 2018-07-30 10:40:50 UTC
  • mfrom: (8767.2.4 fri-01-portspace)
  • Revision ID: bunnybot@widelands.org-20180730104050-dv097tpok94udp4y
Merged lp:~widelands-dev/widelands/fri-01-portspace:
Adds another port space to scenario fri01 to fix difficulties with finding and reaching the port space

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: