src/smallmap_gui.cpp
changeset 6995 dbcd37808b05
parent 6937 40c760fcf1f6
child 7266 b16e67e992b4
equal deleted inserted replaced
6994:8eab245a77c3 6995:dbcd37808b05