Google Git
Sign in
eclipse / ocl / org.eclipse.ocl / refs/heads/archive/435807 / . / plugins / org.eclipse.ocl.common / .settings
tree: 74d393284d97ce4b6609d2ffe48b9f66a3517d30 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs