src/ai/api/ai_industrylist.hpp
branchnoai
changeset 9698 1d50fe99b7e9
parent 9649 bc8c06513f5b
child 9772 c1035f0ac732
equal deleted inserted replaced
9697:a6a9379988f6 9698:1d50fe99b7e9