.settings/org.eclipse.core.resources.prefs
changeset 73 aa87747487ce
parent 67 5d9223bb3aab
child 86 bf707ad8aa1a
child 91 3bbf7371378a
equal deleted inserted replaced
72:db80ba79fb52 73:aa87747487ce