Google Git
Sign in
eclipse/ocl/org.eclipse.ocl/8330e293d8de9a3b4bf17c568d6258cc61cf39bb/./releng/org.eclipse.ocl.releng.buckminster/.settings
tree: 7c49537c3b3434b32331ba389e433d405032d81d
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.core.runtime.prefs