src/industry_gui.cpp
changeset 5776 d36a554d7ccd
parent 5609 dc6a58930ba4
child 5893 7e431a4abebb
equal deleted inserted replaced
5775:12aade4ec326 5776:d36a554d7ccd