Google Git
Sign in
eclipse / sirius / org.eclipse.sirius / refs/tags/v3.1.5rc2 / . / plugins / org.eclipse.sirius.doc / .settings
tree: 51a62550c8c66b0e87b0fad4172b7a22f9ba7894 [path history] [tgz]
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.pde.prefs