Francesco Mangiacrapa 5def7389c2 merged with branch 1.0.0-SNAPSHOT		2020-12-09 14:28:32 +01:00
..
MapView.java	merged with branch 1.0.0-SNAPSHOT	2020-12-09 14:28:32 +01:00
MapView.ui.xml	improved the interactions on Map and the view with details	2020-11-24 11:26:05 +01:00