s441433 ef899c891e Create org.eclipse.core.resources.prefs		2019-01-06 17:06:01 +01:00
..
org.eclipse.core.resources/.root	Create 1.tree	2019-01-06 17:05:59 +01:00
org.eclipse.core.runtime/.settings	Create org.eclipse.core.resources.prefs	2019-01-06 17:06:01 +01:00