jenz d9987c554d added a casual pool feature that will be prioritized when picking random maps for the mapvote

2024-09-27 12:31:54 +02:00

..

configs

Looks good.

2019-09-18 16:58:30 +02:00

scripting

added a casual pool feature that will be prioritized when picking random maps for the mapvote

2024-09-27 12:31:54 +02:00

translations

added phrases and edition of mapchooser where mapvoting happens at the end of the map

2024-09-19 19:55:32 +02:00