.settings/org.eclipse.core.resources.prefs
changeset 2 86ea2f36aa39
parent 0 4095911a7830
child 5 580fd386c4b9
equal deleted inserted replaced
1:4a14963334f4 2:86ea2f36aa39