.settings/org.eclipse.jdt.core.prefs
changeset 20521 1d28a3f5de04
parent 13323 f5c1f04bb7ac
child 29413 f8e2a4f298ee