Google Git
Sign in
eclipse / sirius / org.eclipse.sirius / 6afd82f1451b09eb6946bf2b9a8a286aab2ca6f5 / . / plugins / org.eclipse.sirius.doc / .settings
tree: 4769e00981a29c96a3e98843469c6ad36c23cefd [path history] [tgz]
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.pde.prefs