Google GitGoogle Git
Sign in
eclipse/papyrus/org.eclipse.papyrus-model2doc/788fbc761f3669e5cd0b9cd2f534d044df181857/./plugins/documentview/org.eclipse.papyrus.model2doc.documentview.model.edit/.settings
tree: 0331695a11ca7996849a6c9f7553147e7080fad3
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.core.runtime.prefs
  3. org.eclipse.jdt.core.prefs
  4. org.eclipse.jdt.ui.prefs
  5. org.eclipse.pde.api.tools.prefs