jenz 854da9b615 adds maps to the casualpool from the playtime frontend based on best average population gains on maps

2026-10-04 12:25:14 +02:00

..

configs

Looks good.

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

scripting

adds maps to the casualpool from the playtime frontend based on best average population gains on maps

2026-10-04 12:25:14 +02:00

translations

update translation file

2025-02-23 21:15:01 +01:00