src/smallmap_gui.cpp
changeset 7898 7c6a9c9030b5
parent 7824 5a63d41b59ea
child 7919 a8b61d51832e
equal deleted inserted replaced
7897:6aa16b938b99 7898:7c6a9c9030b5