Google Git
Sign in
eclipse / papyrus / org.eclipse.papyrus-sirius / 33e4967429c3e917b1ccc7489c5bb587e5b82a07 / . / plugins / doc / org.eclipse.papyrus.sirius.doc / .settings
tree: 7dd742cdc7a6fd01b1c737525bf71b43f0146934 [path history] [tgz]
  1. org.eclipse.core.runtime.prefs
  2. org.eclipse.jdt.core.prefs
  3. org.eclipse.jdt.ui.prefs
  4. org.eclipse.m2e.core.prefs
  5. org.eclipse.pde.api.tools.prefs
  6. org.eclipse.pde.prefs