Sign in
eclipse
/
datatools
/
org.eclipse.datatools
/
f90c3fb58b2cc5120da341840a17d785d72457fd
/
.
/
DEPRECATED
/
plugins
/
sqltools
/
org.eclipse.datatools.sqltools.routineeditor.ui
/
.settings
/
.settings
tree: f9049894fc06acedeb9d0be953d3928b1b5a8438
org.eclipse.jdt.core.prefs