Google Git
Sign in
eclipse / sirius / org.eclipse.sirius / refs/heads/v1.0.x / . / plugins / org.eclipse.sirius.doc / .settings
tree: a50c45a64e414be81889e7ef0aa0d9ffa27e71a2 [path history] [tgz]
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.pde.prefs