Google Git
Sign in
eclipse / papyrus / org.eclipse.papyrus-robotics / 596ee60a91d1642ff26094f18b89fe4dc4a78251 / . / plugins / customization / org.eclipse.papyrus.robotics.dashboard.ui / .settings
tree: f7446e8282e787d71db0bf67ebc302f080901cdf [path history] [tgz]
  1. org.eclipse.jdt.core.prefs