diff -r 1d72aeb64bca -r 73e1bbc61037 CommandLineOptions.wiki
--- a/CommandLineOptions.wiki	Sun Jul 15 16:22:42 2018 +0100
+++ b/CommandLineOptions.wiki	Sun Jul 15 16:55:40 2018 +0100
@@ -1,4 +1,5 @@
 #summary Full list of command line switches for hedgewars, hwengine and server
+
 #labels Documentation,Engine,Frontend
 
 = Command-line options =