mirror of
https://github.com/wesnoth/wesnoth
synced 2025-04-26 11:06:23 +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)