.settings/org.eclipse.core.resources.prefs
changeset 187 fc83dfc63ced
parent 175 7331ecc46cba
child 203 f7efdd99b3f9
equal deleted inserted replaced
186:237da3373a44 187:fc83dfc63ced