gui/mapstorage.cc
changeset 1880 0d6da6e6a775
parent 1867 15cf1fd6a505
child 1881 f40cdc2057c2