src/smallmap_gui.cpp
changeset 10314 9cfcdd5b5ddb
parent 10271 a20997d33fe8
child 10411 efe3b7a2746f
equal deleted inserted replaced
10313:53b9d5708068 10314:9cfcdd5b5ddb