rubenwardy 57517628f0 Fix games not updating on deletion ... As reported by @random-geek		2019-02-18 16:39:28 +00:00
..
async	Use "core" namespace internally	2014-05-08 13:02:04 -04:00
client	CSM: add requested CSM_RF_READ_PLAYERINFO (#8007)	2018-12-24 10:51:10 +01:00
common	Fix string.split returning an empty table if string starts with sepearator (#7827)	2018-11-01 21:07:01 +01:00
fstk	Fix some misspellings (#8104)	2019-01-16 13:39:13 +01:00
game	Statbars: Reduce initial update interval	2019-02-12 20:45:38 +00:00
mainmenu	Fix games not updating on deletion	2019-02-18 16:39:28 +00:00
profiler	Fix profiler crash by builtin since eea1fda (#8239)	2019-02-16 21:06:04 +01:00
init.lua	Move setlocale from Lua to C++.	2018-02-08 15:38:34 +01:00
settingtypes.txt	lua_api.txt, settingtypes.txt: Various improvements (#8252)	2019-02-18 02:53:33 +00:00