s441433 70207b47a3 Create org.eclipse.team.ui.prefs		2019-01-06 17:06: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.team.ui.prefs	2019-01-06 17:06:23 +01:00