src/smallmap_gui.cpp
changeset 8075 acd9b1120d9d
parent 7997 df87ccd00a96
child 8082 63240e1bd6cc
equal deleted inserted replaced
8074:6441201410d7 8075:acd9b1120d9d