jenz 8b94b0fc45 preventing leader nomination from getting picked in wrong order		2024-07-23 21:24:05 +02:00
..
configs	Looks good.	2019-09-18 16:58:30 +02:00
scripting	preventing leader nomination from getting picked in wrong order	2024-07-23 21:24:05 +02:00
translations	simple implementation so that nomination count also is affected by playtime	2024-01-19 00:17:10 +01:00