widelands private

To start a new build commit change to repository or click New build button.
Small code style twesk.
_widelands_dev_widelands_bug_863185_census_on_destroyed_building-1457