Kahrl ff3cfb746e Ignore downloaded public serverlist if public_serverlist is false ...

Fixes #1807: When the server list finishes downloading, the local server
list resets in certain conditions

2014-12-30 00:49:23 +10:00

..

async

Use "core" namespace internally

2014-05-08 13:02:04 -04:00

common

Faster string.split implementation.

2014-12-28 23:27:07 -05:00

fstk

Add tooltips to main menu subgames button bar

2014-11-09 09:38:43 +01:00

game

Temporarily set default biome in builtin

2014-12-18 09:57:38 -05:00

mainmenu

Ignore downloaded public serverlist if public_serverlist is false

2014-12-30 00:49:23 +10:00

init.lua

Add strict module

2014-11-19 12:40:54 -05:00