rubenwardy 67aa75d444 Use JSON for favorites, move server list code to Lua (#10085) 3 anni fa
..
favorites_wellformed.txt 67aa75d444 Use JSON for favorites, move server list code to Lua (#10085) 3 anni fa
serverlistmgr_spec.lua 67aa75d444 Use JSON for favorites, move server list code to Lua (#10085) 3 anni fa