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