s441433 c72668b479 Create org.eclipse.core.resources		2019-01-06 17:06:07 +01:00
..
org.eclipse.core.resources	Create org.eclipse.core.resources	2019-01-06 17:06:07 +01:00
org.eclipse.core.runtime/.settings	Create org.eclipse.jdt.ui.prefs	2019-01-06 17:06:05 +01:00