Google Git
Sign in
eclipse / platform / eclipse.platform.ui / 2fe599e6a233dbdc67ed2bdc28f9fad1fc734d30 / . / bundles / org.eclipse.ui.ide.application / .settings
tree: aadd5a76c0517b837b560043f7d30c26774150cd [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs
  3. org.eclipse.pde.prefs