src/ai/api/ai_industrylist.cpp
branchnoai
changeset 10381 4ad8b98acd82
parent 10339 ce6cd68d9eb8
equal deleted inserted replaced
10370:fa4f88090694 10381:4ad8b98acd82