Sign in
eclipse
/
gerrit
/
datatools
/
org.eclipse.datatools
/
f46d1b9e7375e311f2b1db2e40ed189f3c1e1d86
/
.
/
DEPRECATED
/
plugins
/
modelbase
/
org.eclipse.datatools.modelbase.derby
/
.settings
/
.settings
tree: 08148c01c036095f65384e7e5b4ea6af5c1c895c
org.eclipse.jdt.core.prefs