Google Git
Sign in
eclipse / jdt / eclipse.jdt.ui / refs/tags/r331_v20070822 / . / org.eclipse.jdt.ui.examples.javafamily / .settings
tree: d5e35a68d54dbbe0e43be435b1b4036835bc07fb [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs