Google Git
Sign in
eclipse / ecoretools / org.eclipse.ecoretools / refs/tags/v3.4.0rc1 / . / org.eclipse.emf.ecoretools.design.ui / .settings
tree: 03503cedfaf6e10842770e5924d9f3f429d07f10 [path history] [tgz]
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.core.runtime.prefs
  3. org.eclipse.jdt.core.prefs