Google Git
Sign in
eclipse / gerrit / cdo / cdo.incubator / 3dc21bb38448455f640d4d59910ce429c3e87ee2 / . / org.eclipse.emf.cdo.common.ocl / .settings
tree: 6dd90e1dab2c23f0dbee5d120ff9c78528bcad0d [path history] [tgz]
  1. .api_filters
  2. org.eclipse.core.resources.prefs
  3. org.eclipse.jdt.core.prefs
  4. org.eclipse.jdt.launching.prefs
  5. org.eclipse.jdt.ui.prefs