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