src/smallmap_gui.cpp
changeset 8218 e6c5291965d4
parent 8157 1505def01945
child 8224 c5a64d87cc54
equal deleted inserted replaced
8217:fbcb18467e34 8218:e6c5291965d4