Google Git
Sign in
eclipse / egf / org.eclipse.emf.egf / refs/tags/release_1.6.0 / . / plugins / org.eclipse.egf.model.jetpattern.edit / .settings
tree: ea4a7d803a5469411f5d924c38a70fdded7abaa7 [path history] [tgz]
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.jdt.core.prefs