Google Git
Sign in
eclipse / gerrit / www.eclipse.org / eclipse / dd3bfc35f74a8797b7fa0037ddc0d3491be21ce1 / . / platform-ui / plugins / org.eclipse.ui.examples.statushandlers.testtool / .settings
tree: 955e7a87683454cdc2027bfdf124b8c4c5f3c2cd [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs
  3. org.eclipse.pde.prefs