GunChleoc has proposed merging 
lp:~widelands-dev/widelands/remove-dedicated-server-doc into lp:widelands.

Commit message:
Removed the documentation page for the dedicated server.

Requested reviews:
  Widelands Developers (widelands-dev)

For more details, see:
https://code.launchpad.net/~widelands-dev/widelands/remove-dedicated-server-doc/+merge/328354

The dedicated server was removed with Build 19, so no need to document it. The 
page was only a link to the wiki anyway.
-- 
Your team Widelands Developers is requested to review the proposed merge of 
lp:~widelands-dev/widelands/remove-dedicated-server-doc into lp:widelands.
=== modified file 'doc/sphinx/source/index.rst'
--- doc/sphinx/source/index.rst	2014-07-14 10:45:44 +0000
+++ doc/sphinx/source/index.rst	2017-08-01 11:55:29 +0000
@@ -12,7 +12,6 @@
    :maxdepth: 2
 
    development
-   server
    geometry
    productionsite_program
    lua_index

=== removed file 'doc/sphinx/source/server.rst'
--- doc/sphinx/source/server.rst	2012-06-15 20:29:49 +0000
+++ doc/sphinx/source/server.rst	1970-01-01 00:00:00 +0000
@@ -1,5 +0,0 @@
-Dedicated Server
-================
-
-For the complete setup guide for dedicated Widelands servers, checkout the Wiki page at:
-http://wl.widelands.org/wiki/DedicatedServer/

_______________________________________________
Mailing list: https://launchpad.net/~widelands-dev
Post to     : widelands-dev@lists.launchpad.net
Unsubscribe : https://launchpad.net/~widelands-dev
More help   : https://help.launchpad.net/ListHelp

Reply via email to