Google Git
Sign in
eclipse / gmf-runtime / org.eclipse.gmf-runtime / 36e684440bbe00d7cc157140591cd726172fce4c / . / org.eclipse.gmf.runtime.emf.type.ui / .settings
tree: abfe184836be811a5393537f9b4ba92f35cfa215 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.pde.api.tools.prefs