diff -r 3cbada2b87a2 -r 683467addd2e CommandLineOptions.wiki
--- a/CommandLineOptions.wiki	Sat Oct 12 16:52:43 2019 +0100
+++ b/CommandLineOptions.wiki	Sat Oct 12 16:55:31 2019 +0100
@@ -2,7 +2,6 @@
 #labels Documentation,Engine,Frontend
 
 = Command-line options =
-
 <wiki:toc max_depth="2" />
 
 == Frontend ==