Google Git
Sign in
eclipse / platform / eclipse.platform.ui / e7b448e38acd18cd196fee2cc5556df5a3a18cb7 / . / bundles / org.eclipse.ui.workbench / .settings
tree: 451ca17cfa0a0394ce9f30ae5f088047e7f0969c [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.pde.prefs