src/smallmap_gui.cpp
changeset 8516 e7ce655f85ef
parent 8493 3ab458f7cff4
child 8578 55218950ce2d
equal deleted inserted replaced
8515:d0401d967e99 8516:e7ce655f85ef