changeset 1862 5da940c0285a
parent 1861 7bbfe9e35cdf
child 1863 7e1766cf164d
--- a/	Tue Apr 30 00:41:20 2019 +0200
+++ b/	Mon Apr 29 23:37:36 2019 +0100
@@ -2,13 +2,13 @@
 NOTE: This guide is a work in progress!
-## The official server
+== The official server ==
 The "official" server has some additional features over "normal" servers. Most notably, the "official" server saves replays and the `/watch` command in the lobby.
 Internally, this is just a `#define` that can be triggered on. It is possible to build a clone of the official server, but it is tricky (and not really documented yet).
-## How to build the official server
+== How to build the official server ==
 *NOTE*: This guide is INCOMPLETE and UNTESTED!