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

* Destroy Arsenal when city is captured * Fix Petra culture wiht city filter Change Petra's culture bonus to city-specific bonus instead of empire-wide bonus