diff -r 6edb9964990d -r 255295dfbd3d ConfigurationFiles.wiki
--- a/ConfigurationFiles.wiki	Wed Oct 30 13:29:20 2019 +0000
+++ b/ConfigurationFiles.wiki	Wed Oct 30 13:59:12 2019 +0000
@@ -2,6 +2,7 @@
 #labels Documentation
 
 = Configuration files =
+
 == Introduction ==
 
 This documents the structure and content of the configuration (.ini) files found in the desktop version of Hedgewars.