Google Git
Sign in
eclipse / papyrus / org.eclipse.papyrus-marte / c043c7a74948d3b3cf73ad98846d2544d57ce681 / . / textedit / org.eclipse.papyrus.marte.vsl.ui / .settings
tree: 83d3b52142429fa445daeacea1260d354290cb07 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs