Document the /quit chat command from server
authorWuzzy <Wuzzy2@mail.ru>
Fri, 05 Oct 2018 14:11:51 +0200
changeset 13868 1738ae8c8e75
parent 13867 d8e606cf8ff5
child 13869 16ca23f8f623
Document the /quit chat command from server
gameServer/CommandHelp.hs
--- a/gameServer/CommandHelp.hs	Fri Oct 05 13:37:49 2018 +0200
+++ b/gameServer/CommandHelp.hs	Fri Oct 05 14:11:51 2018 +0200
@@ -36,6 +36,7 @@
 #if defined(OFFICIAL_SERVER)
     loc "/watch <id>: Watch a demo stored on the server with the given ID",
 #endif
+    loc "/quit: Quit the server",
     loc "/help: Show chat command help"
     ]