~widelands-dev/widelands/number_of_cpus_as_option

Viewing all changes in revision 8904.

  • Committer: Wideland's Bunnybot
  • Date: 2018-10-31 07:19:45 UTC
  • mfrom: (8903.1.1 trunk)
  • Revision ID: bunnybot@widelands.org-20181031071945-69hz1m2kk8cpljsq
Merged lp:~widelands-dev/widelands/bug-1800571-flag-add-ware:
Undoing "optimization" that is part of previous commit in r8903.

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: