Google Git
Sign in
eclipse / papyrus / org.eclipse.papyrus-marte / 0e91317b04d9962928d6f3a415307193cdee2bfc / . / core / org.eclipse.papyrus.marte.static.profile / .settings
tree: 83d3b52142429fa445daeacea1260d354290cb07 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs