yairm210 f303c4f7be Resolved #12516 - console cannot change player type for non-major civs

2024-11-22 10:38:13 +02:00

..

src/com/unciv

Resolved #12516 - console cannot change player type for non-major civs

2024-11-22 10:38:13 +02:00

build.gradle.kts

Remove jvmToolchain so everyone can use their default (#12388)

2024-11-01 11:48:33 +02:00