.settings/org.eclipse.core.resources.prefs
changeset 106 c1477ecf55e3
parent 18 c85b9d1ddf19
equal deleted inserted replaced
105:88b4d5e1d278 106:c1477ecf55e3