Google Git
Sign in
eclipse / gerrit / papyrus / org.eclipse.papyrus-sysml11 / 3864b6857def829a3fc39bfe4f50cc9dba0833c3 / . / plugins / org.eclipse.papyrus.sysml.edit / .settings
tree: 0173621668ac2b651f4570d7c2dcd2a8ab236646 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs
  3. org.eclipse.pde.api.tools.prefs