industry_gui.c
changeset 1728 ea7210a31593
parent 1666 46dc094142b1
child 1786 7cfd46c3fcc4
equal deleted inserted replaced
1727:25cb9c3129a6 1728:ea7210a31593