.settings/org.eclipse.core.resources.prefs
changeset 95 b0ea2dcff0ce
parent 94 5fde1070d998
child 107 e30c9bfaf945
equal deleted inserted replaced
94:5fde1070d998 95:b0ea2dcff0ce