jenz 01816792ae removing a bunch of unneeded things and assuring the nomlist wont confuse leader and regular nominations any more when displaying them		2026-04-17 20:29:12 +02:00
..
configs	Looks good.	2019-09-18 16:58:30 +02:00
scripting	removing a bunch of unneeded things and assuring the nomlist wont confuse leader and regular nominations any more when displaying them	2026-04-17 20:29:12 +02:00
translations	update translation file	2025-02-23 21:15:01 +01:00