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