src/industry_gui.cpp
changeset 7887 b72ef3f45a38
parent 7877 184477162db7
child 7889 e74ce8853ba7
equal deleted inserted replaced
7886:f0901496b7f1 7887:b72ef3f45a38