Google Git
Sign in
eclipse / cdo / cdo.incubator / refs/heads/master / . / 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