Fix worldlist in servertab being filtered by selected game
authorPilzAdam <pilzadam@minetest.net>
Tue, 6 Aug 2013 15:28:48 +0000 (17:28 +0200)
committerPilzAdam <pilzadam@minetest.net>
Tue, 6 Aug 2013 15:28:51 +0000 (17:28 +0200)
commitba65e2ae6c9578309049b685f3052e424fb410b8
tree8f8df0a837006908bd84965e9154fe88f4a2d7e7
parent53bf62bb8391e97d120bbbdb03b18d0bb2e99f03
Fix worldlist in servertab being filtered by selected game
builtin/mainmenu.lua