Google Git
Sign in
eclipse / gmf-runtime / org.eclipse.gmf-runtime / ed43ded093c3384b8996b847272347eaba78725b / . / org.eclipse.gmf.runtime.common.ui.services.properties / .settings
tree: 977a3c0ae2f2bef38045c7fd152ad831e3735872 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.pde.api.tools.prefs