src/ai/api/ai_industrylist.hpp.sq
branchnoai
changeset 10853 87f2238f47d4
parent 10734 06f95974ac15
equal deleted inserted replaced
10852:f02afc46afa8 10853:87f2238f47d4