NorbiPeti f67d886000 Fixes, changed to port 443, more fixes ... Aaand I forgot to pull the master branch		2017-11-23 23:25:56 +01:00
..
org.eclipse.core.resources.prefs	API for other plugins, improvements	2017-05-30 23:24:48 +02:00
org.eclipse.jdt.core.prefs	Fixes, changed to port 443, more fixes	2017-11-23 23:25:56 +01:00
org.eclipse.m2e.core.prefs	API for other plugins, improvements	2017-05-30 23:24:48 +02:00