Miguel Ruivo 1239c39113 Unifies all platforms in a single plugin with addition of new features		2020-09-11 18:52:07 +01:00
..
org.eclipse.buildship.core.prefs	Unifies all platforms in a single plugin with addition of new features	2020-09-11 18:52:07 +01:00