src/smallmap_gui.cpp
changeset 7426 e8dd555767bd
parent 7370 41adc721b1fa
child 7489 71e233b9a937
equal deleted inserted replaced
7425:d9bc116f2f54 7426:e8dd555767bd