mirror of
https://github.com/yairm210/Unciv.git
synced 2025-07-05 15:59:50 +07:00

* Added Human and AI filters, separated civFilter from nationFilter (very similar and yet slightly different) * Changed "Human" and "AI" to "Human player" and "AI player"