Google Git
Sign in
eclipse / egf / org.eclipse.emf.egf / refs/heads/0.4.0 / . / portfolio / org.eclipse.egf.portfolio.genchain.tools.ui / .settings
tree: a94bf86348cb0330e2668492bc8443b06594e6b7 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs