Google Git
Sign in
eclipse / platform / eclipse.platform.ui / adeab69043cb2a2c30f21a70395ec58325db37c3 / . / examples / org.eclipse.ui.examples.navigator / .settings
tree: d85867eddf2b2267a72c713902bc70cd431c0fd3 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs
  3. org.eclipse.pde.prefs