mirror of
https://github.com/wesnoth/wesnoth
synced 2025-04-24 19:23:53 +00:00

This stopped being a rush AI long ago. (cherry-picked from commit ec45b53fe29d00d25204f67a8c1ea95c86f01d9e)
This stopped being a rush AI long ago. (cherry-picked from commit ec45b53fe29d00d25204f67a8c1ea95c86f01d9e)