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