Google Git
Sign in
eclipse / egf / org.eclipse.emf.egf / refs/heads/0.4.0 / . / plugins / org.eclipse.egf.producer.fprod / .settings
tree: 5a9afec898a2ac044654e261f00b8c576cbaf1c5 [path history] [tgz]
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.jdt.core.prefs