jenz d21303488b added feature to hide maps that are unavailable		2023-03-31 19:06:56 +02:00
..
configs	Looks good.	2019-09-18 16:58:30 +02:00
scripting	added feature to hide maps that are unavailable	2023-03-31 19:06:56 +02:00
translations	added missing phrase file and hopefully fixed errors thrown by mapchooser	2023-03-23 19:47:48 +01:00