Google Git
Sign in
eclipse / ocl / org.eclipse.ocl / refs/heads/archive/352950 / . / examples / org.eclipse.ocl.examples.pivot / .settings
tree: 5c888d8ad4116affeb5dbda63b3b12be2f5b9f1d [path history] [tgz]
  1. org.eclipse.jdt.core.prefs