Sign in
eclipse
/
gerrit
/
datatools
/
org.eclipse.datatools
/
3198f0b8717fffd17b6f415510f0083f12d5dc05
/
.
/
DEPRECATED
/
plugins
/
connectivity
/
org.eclipse.datatools.connectivity
/
.settings
/
.settings
tree: cb2e5cedda0f597445937ce9821bfbc57835cdb9 [
path history
]
[
tgz
]
org.eclipse.jdt.core.prefs