src/industry_gui.cpp
changeset 6254 94bc6c0de9fc
parent 6247 7d81e3a5d803
child 6491 00dc414c909d
equal deleted inserted replaced
6253:efef997fec17 6254:94bc6c0de9fc