Google Git
Sign in
eclipse / gerrit / datatools / org.eclipse.datatools / aa68ce31b013e23b1f9cfe00c8d20f28cf8a6afb / . / DEPRECATED / plugins / connectivity / org.eclipse.datatools.connectivity / .settings / .settings
tree: cb2e5cedda0f597445937ce9821bfbc57835cdb9 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs