Google Git
Sign in
eclipse / sirius / org.eclipse.sirius / b83eb83583923a822acc21977fb4336afd3e2a0a / . / plugins / org.eclipse.sirius.doc / .settings
tree: 978deb600b486823174aa72092ec938aa6e24eaa [path history] [tgz]
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.pde.prefs