.settings/org.eclipse.core.resources.prefs
changeset 38 7abb8925853d
parent 36 f770159c3cee
child 43 b9baab399b4d
equal deleted inserted replaced
37:b6a04c4ab494 38:7abb8925853d