.settings/org.eclipse.core.resources.prefs
changeset 6 ced3c15c79df
parent 5 580fd386c4b9
child 28 5918a9d353d0
equal deleted inserted replaced
5:580fd386c4b9 6:ced3c15c79df