Google Git
Sign in
eclipse / platform / eclipse.platform / refs/tags/v20090511 / . / update / org.eclipse.update.ui / .settings
tree: 38617fd9b4185ba596f5349dc0f5cce8577c7af1 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs