Google Git
Sign in
eclipse / gerrit / papyrus / org.eclipse.papyrus-robotics / fc961c9fd20b7c4ce78ed2a8c4b5bf3b55af7797 / . / plugins / faultinjection / org.eclipse.papyrus.robotics.faultinjection.edit / .settings
tree: f7446e8282e787d71db0bf67ebc302f080901cdf [path history] [tgz]
  1. org.eclipse.jdt.core.prefs