Google Git
Sign in
eclipse / gmf-runtime / org.eclipse.gmf-runtime / 2ae73f46fb01138aa22aaa297bf36a7c72096435 / . / org.eclipse.gmf.runtime.diagram.ui.resources.editor / .settings
tree: b09948af6641c11bb63b5aa6c7b058e99d05e894 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.pde.api.tools.prefs