Google Git
Sign in
eclipse / platform / eclipse.platform.ui / a1b8b3077fd3a29205d83e9a9db0787e785fa417 / . / bundles / org.eclipse.ui.ide.application / .settings
tree: b4dc2e55e19ed2e5ad8ecc73e0ac5d3637956070 [path history] [tgz]
  1. org.eclipse.core.runtime.prefs
  2. org.eclipse.jdt.core.prefs
  3. org.eclipse.jdt.ui.prefs
  4. org.eclipse.pde.api.tools.prefs
  5. org.eclipse.pde.prefs