.settings/org.eclipse.core.resources.prefs
changeset 225 4d84d9e6cf37
parent 206 16b49f9cd7a8
child 226 a490d58de8b6
equal deleted inserted replaced
224:9b2367702bf0 225:4d84d9e6cf37