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