# HG changeset patch
# User jacoberen@gmail.com
# Date 1322090722 0
# Node ID 26202b9ff10d576af6773e70450cfdd02dbb4d39
# Parent  bb03d34aec2c41e048c9f07826a093e4ca6b7bd3
Edited wiki page ConfigurationFiles through web user interface.

diff -r bb03d34aec2c -r 26202b9ff10d ConfigurationFiles.wiki
--- a/ConfigurationFiles.wiki	Wed Nov 23 17:52:51 2011 +0000
+++ b/ConfigurationFiles.wiki	Wed Nov 23 23:25:22 2011 +0000
@@ -5,6 +5,8 @@
 
 This documents the structure and content of the configuration (.ini) files found in the desktop version of Hedgewars.
 
+<wiki:toc />
+
 = Hedgewars.ini: =
 
 == {{{[video]}}} ==