src/smallmap_gui.cpp
changeset 6764 d09d8d618a07
parent 6757 385cb1bf2ba9
child 6878 5cefd3ac59c7
equal deleted inserted replaced
6763:87f1ed44eedb 6764:d09d8d618a07