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