Google Git
Sign in
eclipse / gerrit / uml2 / org.eclipse.uml2.git.040612 / refs/heads/R2_2_maintenance / . / plugins / org.eclipse.uml2.uml.editor / .settings
tree: 8f9c0c8b853df6e02972b52e24f85dab417ae67d [path history] [tgz]
  1. org.eclipse.jdt.core.prefs