src/ai/api/ai_industrylist.cpp
branchnoai
changeset 9668 6fe3d2cb9655
parent 9649 bc8c06513f5b
child 9776 ee9923d46fba
equal deleted inserted replaced
9667:053afa64f977 9668:6fe3d2cb9655