# HG changeset patch
# User Wuzzy
# Date 1525311996 -3600
# Node ID 95ac8a844befeb10141792bc7b2e680da1a0a503
# Parent  29d47056785f1012da0f4c8c988666749e6c7181
ConfigurationFiles: Remove roomslist_* settings

diff -r 29d47056785f -r 95ac8a844bef ConfigurationFiles.wiki
--- a/ConfigurationFiles.wiki	Thu May 03 02:45:32 2018 +0100
+++ b/ConfigurationFiles.wiki	Thu May 03 02:46:36 2018 +0100
@@ -25,8 +25,6 @@
 _Graphics and sound settings, front-end (GUI)_
 
 || *Setting* || *Type* || *Description* ||
-|| roomslist_header || ??? || ??? ||
-|| roomslist_splitter || ??? || ??? ||
 || effects=true || Boolean || If game effects are displayed ||
 || fullscreen=false || Boolean || If the game is in fullscreen-mode, instead of windowed-mode ||
 || width=800 || Integer || Width of the game window ||