src/smallmap_gui.cpp
changeset 9834 7474149531c1
parent 9832 200ded94a1c3
child 9835 b40b96c9b74b