src/ai/api/ai_industrylist.hpp
branchnoai
changeset 9657 f2c6e332d8bc
parent 9649 bc8c06513f5b
child 9772 c1035f0ac732
equal deleted inserted replaced
9656:ddb4260f3051 9657:f2c6e332d8bc