widelands-dev team mailing list archive
-
widelands-dev team
-
Mailing list archive
-
Message #09204
Re: [Merge] lp:~widelands-dev/widelands/document_mine into lp:widelands
OK, let's get the information in then and make it more readable later. I am planning to do more work on the documentation once I have cleared my backlog of branches a bit.
@bunnybot merge
--
https://code.launchpad.net/~widelands-dev/widelands/document_mine/+merge/313509
Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/document_mine into lp:widelands.
References