← Back to branch summary

~widelands-dev/widelands/bug-1783878_editor_random_map_tribe

Viewing all changes in revision 8778.

  • Committer: GunChleoc
  • Date: 2018-08-24 16:01:55 UTC
  • Revision ID: fios@foramnagaidhlig.net-20180824160155-9gqldn9ntvbnjncg
Map Editors now can choose "Random" tribe in the player menu. Removed superfluous player loading from editorinteractive.cc.

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: