gameServer/CommandHelp.hs
changeset 13852 1738ae8c8e75
parent 13732 69a913e064e3
child 15413 d9a12aba5c05
--- 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"
     ]