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