Google Git
Sign in
eclipse / ocl / org.eclipse.ocl / refs/tags/6.10.0M3 / . / features / org.eclipse.ocl-feature / .settings
tree: 7c49537c3b3434b32331ba389e433d405032d81d [path history] [tgz]
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.core.runtime.prefs