Google Git
Sign in
eclipse / egf / org.eclipse.emf.egf / refs/tags/release_0.1.0 / . / plugins / org.eclipse.egf.pattern.ui / .settings
tree: 6f4bf22570e1e7b3de448092c5fa9a04492eedb7 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs