~widelands-dev/widelands/bug-1783878_editor_random_map_tribe

Viewing all changes in revision 8777.

  • Committer: GunChleoc
  • Date: 2018-08-24 14:59:17 UTC
  • Revision ID: fios@foramnagaidhlig.net-20180824145917-etmlf3mcd9l9f2bk
If player tribe is empty in map, set random player in singleplayer game setup.

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: