src/industry_gui.cpp
changeset 6771 b58be16fb268
parent 6636 fec086b5c340
child 6815 3cc63cbcad5b
equal deleted inserted replaced
6770:408585d467f9 6771:b58be16fb268