Georg Lukas 7631b358eb add 'toggle objects' menu to map		2010-12-22 02:00:20 +01:00
..
options.xml	…
options_map.xml	add 'toggle objects' menu to map	2010-12-22 02:00:20 +01:00