s441433 8b11873d66 Create org.eclipse.ui.prefs		2019-01-06 17:06:30 +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.ui.prefs	2019-01-06 17:06:30 +01:00