Google Git
Sign in
eclipse / egf / org.eclipse.emf.egf / d484a0759ec47f5bbb123c04b337e7e8efe4e048 / . / plugins / org.eclipse.egf.model.fprod / .settings
tree: 31d3bd1635aacc363aca39aaea5076d6b0659065 [path history] [tgz]
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.jdt.core.prefs