diff -r 9fd0936eddfb -r d345ec330d2a GameStyles.wiki
--- a/GameStyles.wiki	Sat Oct 12 17:18:21 2019 +0200
+++ b/GameStyles.wiki	Sat Oct 12 16:19:39 2019 +0100
@@ -1,7 +1,6 @@
 #summary Description of game styles in Hedgewars
 
 = Game styles =
-
 == Introduction ==
 A *game style* (or “style” for short) is a type of script that can be selected in multiplayer games. A list of all official styles can be found [https://hedgewars.org/node/2946 here].