Google Git
Sign in
eclipse / gerrit / papyrus / org.eclipse.papyrus.tools / 62b24eff0f0aa80ae05cf36b8dee6f5e9acfd663 / . / adl4eclipse / org.eclipse.papyrus.osgi.profile / .settings
tree: 530d18b96d0266bd2d4d09e2bd18792d79e68d3e [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs