src/smallmap_gui.cpp
changeset 6816 bff19f37423d
parent 6757 385cb1bf2ba9
child 6878 5cefd3ac59c7
equal deleted inserted replaced
6815:3cc63cbcad5b 6816:bff19f37423d