# HG changeset patch
# User Wuzzy
# Date 1540331979 -3600
# Node ID a61996a726a8055ba79c7bfd4a4afeac33076250
# Parent  640daac0b8007eaa0ace407324df024dc56eabe0
ProtocolNumbers: use code style

diff -r 640daac0b800 -r a61996a726a8 ProtocolNumbers.wiki
--- a/ProtocolNumbers.wiki	Tue Oct 23 22:59:20 2018 +0100
+++ b/ProtocolNumbers.wiki	Tue Oct 23 22:59:39 2018 +0100
@@ -10,7 +10,7 @@
 
 E.g. the development version before 0.9.24 is 0.9.24-dev.
 
-Since 0.9.25-dev, you can run “hwengine --protocol” in the commandline to get the current protocol number of your installed Hedgewars.
+Since 0.9.25-dev, you can run “`hwengine --protocol`” in the commandline to get the current protocol number of your installed Hedgewars.
 
 == List of protocol numbers ==