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