.settings/org.eclipse.core.resources.prefs
changeset 68 c33b04bd3707
parent 63 6bfac7c633a0
child 70 97e57904f11d
equal deleted inserted replaced
67:83ef301373af 68:c33b04bd3707