Google Git
Sign in
eclipse/ocl/org.eclipse.ocl/8330e293d8de9a3b4bf17c568d6258cc61cf39bb/./examples/org.eclipse.ocl.examples.codegen/.settings
tree: c88e1fcc2649d3d0234dfb3af840ecc8bf48e5fb
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.core.runtime.prefs
  3. org.eclipse.jdt.core.prefs