src/smallmap_gui.cpp
changeset 6400 7b98825c5cb0
parent 6206 67358999d80d
child 6235 5077e6ed3788
child 6573 7624f942237f
child 9895 7bd07f43b0e3
equal deleted inserted replaced
6399:d704bf2ec4ee 6400:7b98825c5cb0