rubenwardy e78d927ff9 Use JSON for favorites, move server list code to Lua (#10085) ... Co-authored-by: sfan5 <sfan5@live.de>		2022-05-21 16:18:17 +02:00
..
favorites_wellformed.txt	Use JSON for favorites, move server list code to Lua (#10085)	2022-05-21 16:18:17 +02:00
serverlistmgr_spec.lua	Use JSON for favorites, move server list code to Lua (#10085)	2022-05-21 16:18:17 +02:00