Google Git
Sign in
eclipse / ocl / org.eclipse.ocl / refs/heads/archive/352950 / . / plugins / org.eclipse.ocl.ecore.edit / .settings
tree: 235bc0329c3e3a09eb0c77dd58e3f6d7876e59b5 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs