Sign in
eclipse
/
platform
/
eclipse.platform.ui.tools
/
6b2cd8df0c24fafe4d307d75bbd0226d5a759cb6
/
.
/
features
/
org.eclipse.e4.core.tools.feature
/
.settings
tree: da4cf01992deacce5e036134eb3773d32c89744a
org.eclipse.core.runtime.prefs