.settings/org.eclipse.core.resources.prefs
changeset 1076 a11c8dba822e
parent 1074 36f657714851
child 1077 94cca4093b60