org.eclipse.ui.ide.prefs
Home
/
sm-search /
.metadata /
.plugins /
org.eclipse.core.runtime /
.settings /
org.eclipse.ui.ide.prefs
PROBLEMS_FILTERS_MIGRATE=true
eclipse.preferences.version=1
platformState=1448552360863
quickStart=false
tipsAndTricks=true