Google Git
Sign in
eclipse/papyrus/org.eclipse.papyrus-designer/52e7df8758d398fec2af21d4b416771a6d568896/./plugins/patterns/org.eclipse.papyrus.designer.patterns.safety.profile/.settings
tree: f7446e8282e787d71db0bf67ebc302f080901cdf
  1. org.eclipse.jdt.core.prefs