s441433 b265ff73ea Create org.eclipse.ui.workbench.prefs		2019-01-12 15:25:23 +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.workbench.prefs	2019-01-12 15:25:23 +01:00