src/ai/api/ai_industrylist.hpp
branchnoai
changeset 9724 b39bc69bb2f2
parent 9649 bc8c06513f5b
child 9772 c1035f0ac732
equal deleted inserted replaced
9723:eee46cb39750 9724:b39bc69bb2f2