Google Git
Sign in
eclipse / egf / org.eclipse.emf.egf / refs/tags/release_1.5.0 / . / portfolio / org.eclipse.egf.portfolio.eclipse.build.ui / .settings
tree: 90fe2305ecf6c691aa2edb501d079890472849b0 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs