.settings/org.eclipse.core.resources.prefs
changeset 77 b1fc333735c9
parent 67 5d9223bb3aab
child 86 bf707ad8aa1a
child 91 3bbf7371378a
equal deleted inserted replaced
76:33a82766e9f9 77:b1fc333735c9