Google Git
Sign in
eclipse / eef / org.eclipse.eef / 5824a2ad877dae47d13a3eab970f095edbe14ec3 / . / plugins / org.eclipse.emf.eef.mapping / .settings
tree: 57abc38a1f4d5061523a30d107296477b030c83f [path history] [tgz]
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.jdt.ui.prefs