.settings/org.eclipse.core.resources.prefs
changeset 104 e61d5a5d970e
parent 94 5fde1070d998
child 107 e30c9bfaf945
equal deleted inserted replaced
103:da385c0872a6 104:e61d5a5d970e