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