jenz 8d6f4d98aa redid how often db reconnection is attempted		2023-06-18 23:56:04 +02:00
..
configs	Looks good.	2019-09-18 16:58:30 +02:00
scripting	redid how often db reconnection is attempted	2023-06-18 23:56:04 +02:00
translations	added missing phrase file and hopefully fixed errors thrown by mapchooser	2023-03-23 19:47:48 +01:00