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