gui/mapstorage.cc
changeset 2103 a979fcdda073
parent 2063 9535436aaa9f