src/industry_gui.cpp
changeset 7203 39f68ddb39cc
parent 7195 8c728b5fef43
child 7218 8e73038b7586
equal deleted inserted replaced
7202:dc312a87f450 7203:39f68ddb39cc