widelands private

To start a new build commit change to repository or click New build button.
On Travis, build translations and documentation only on release builds, to help with job timeouts.
_widelands_dev_widelands_travis_skip_translations_in_debug_builds-4075