~widelands-dev/widelands/number_of_cpus_as_option

Viewing all changes in revision 8907.

Merged branch lp:~widelands-dev/widelands/bug-1800814-update-script
Copy the version file instead of moving it, so that the update script can be run twice in a row.

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: