.settings/org.eclipse.core.resources.prefs
changeset 14 89870eed3f70
parent 5 580fd386c4b9
child 28 5918a9d353d0
equal deleted inserted replaced
13:54775fd2381f 14:89870eed3f70