src/town_gui.cpp
changeset 7510 95e12eac1b6d
parent 7386 93f6a042d1c3
child 7657 2b55af55cc51
equal deleted inserted replaced
7509:23372ed624e8 7510:95e12eac1b6d