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