src/ai/api/ai_industry.hpp
branchnoai
changeset 10853 87f2238f47d4
parent 10842 681a3954232a
child 11165 a725845fcc01
equal deleted inserted replaced
10852:f02afc46afa8 10853:87f2238f47d4