Google Git
Sign in
eclipse / cdo / cdo.incubator / 5d0edc54e66d341b780b3bb447d02d34faee2f3d / . / 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