This repository has been archived on 2023-01-25. You can view files and clone it, but cannot push or open issues or pull requests.

Luca Frosini 425c3cd944 Fixed pom and distro files		2019-12-09 15:27:39 +01:00
..
org.eclipse.core.resources.prefs	Fixed pom and distro files	2019-12-09 15:27:39 +01:00
org.eclipse.jdt.core.prefs	Fixed pom and distro files	2019-12-09 15:27:39 +01:00