# HG changeset patch
# User Wuzzy
# Date 1540331786 -3600
# Node ID 97615e58ecdd1b84bab0c2524273614becfae21d
# Parent  944b942dab3d9d5b96262f961cf2b74ca2e6a8f5
TableOfContents: shorten ProtocolNumbers title

diff -r 944b942dab3d -r 97615e58ecdd TableOfContents.wiki
--- a/TableOfContents.wiki	Tue Oct 23 22:56:10 2018 +0100
+++ b/TableOfContents.wiki	Tue Oct 23 22:56:26 2018 +0100
@@ -12,7 +12,7 @@
    * [KnownBugs Known bugs]
   * Server
    * [RacerRoomSetup Racer room setup]
-   * [ProtocolNumbers List of protocol numbers]
+   * [ProtocolNumbers Protocol numbers]
   * [BuildingHedgewars Building Hedgewars from source code]
    * [Dependencies Dependencies]
    * [BuildingForAndroid Android]