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