ConfigurationFiles.wiki
changeset 1407 95ac8a844bef
parent 1406 29d47056785f
child 1524 e2ee3b9b0084
--- 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 ||