Giancarlo Panichi 8a762d0717 Fixed obsolete http url		2022-04-05 12:22:54 +02:00
..
org.eclipse.core.resources.prefs	Fixed obsolete http url	2022-04-05 12:22:54 +02:00
org.eclipse.jdt.core.prefs	Fixed obsolete http url	2022-04-05 12:22:54 +02:00
org.eclipse.m2e.core.prefs	Fixed obsolete http url	2022-04-05 12:22:54 +02:00