Google Git
Sign in
eclipse / objectteams / org.eclipse.objectteams / 8927676ee737cb5e1d7eacf39c258fc65df5cf95 / . / plugins / org.eclipse.objectteams.otequinox.branding.otre / .settings
tree: 06cf7706ccccc46556ca10f33f397cae272c28ef [path history] [tgz]
  1. org.eclipse.jdt.core.prefs