Francesco Mangiacrapa 02e8a028fa merged with master		2020-12-04 16:32:03 +01:00
..
MapView.java	merged with master	2020-12-04 16:32:03 +01:00
MapView.ui.xml	improved the interactions on Map and the view with details	2020-11-24 11:26:05 +01:00