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