Google Git
Sign in
eclipse / gerrit / papyrus / org.eclipse.papyrus-designer / refs/heads/master / . / plugins / patterns / org.eclipse.papyrus.designer.patterns.safety.profile / .settings
tree: f7446e8282e787d71db0bf67ebc302f080901cdf [path history] [tgz]
  1. org.eclipse.jdt.core.prefs