widelands-dev team mailing list archive

Thread
Date

Re: [Merge] lp:~widelands-dev/widelands/document-metaserver-option into lp:widelands

To: mp+343841@xxxxxxxxxxxxxxxxxx
From: Notabilis <notabilis27@xxxxxx>
Date: Thu, 03 May 2018 19:00:20 -0000
In-reply-to: <152450738071.12942.16456218461242347207.launchpad@ackee.canonical.com>
Reply-to: mp+343841@xxxxxxxxxxxxxxxxxx
Sender: bounces@xxxxxxxxxxxxx

Review: Resubmit

All config file options are documented somewhere now, either on command line, in the source file or in the game options.

I also removed the "emailadd" configuration file option which does not seem to be used anywhere.
-- 
https://code.launchpad.net/~widelands-dev/widelands/document-metaserver-option/+merge/343841
Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/document-metaserver-option.

References

[Merge] lp:~widelands-dev/widelands/document-metaserver-option into lp:widelands
From: Notabilis, 2018-04-23