Sign in
eclipse
/
gerrit
/
datatools
/
org.eclipse.datatools
/
81d7ab9ae9def9081737c5b56dddcff49ce8a510
/
.
/
DEPRECATED
/
plugins
/
sqltools
/
org.eclipse.datatools.sqltools.sql.ui
/
.settings
/
.settings
tree: 3fea4c686618d4adf8a04adf9a6f4156fd523439
org.eclipse.jdt.core.prefs