src/smallmap_gui.cpp
changeset 7219 e5b7a61ea70f
parent 7122 0607a15aedc0
child 7226 a8650d6ecb53
equal deleted inserted replaced
7218:be09ee05aa14 7219:e5b7a61ea70f