Google Git
Sign in
eclipse / gerrit / cdo / cdo.incubator / ab72f5efa28c3b12c67df222ac8f7d15eda825d2 / . / CDOExplorer / .settings
tree: 4a34d2d4584df93b158279b3383f36b30a98b089 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs