.settings/org.eclipse.core.resources.prefs
changeset 50 ed568fc9c0c2
parent 48 f4fadc1b9d70
child 61 0048668779c0
equal deleted inserted replaced
49:b09e922caf26 50:ed568fc9c0c2