Google Git
Sign in
eclipse / platform / eclipse.platform / 4b597989a1e6fc723ffcb4ec56fe27b63b32ca87 / . / update / org.eclipse.update.ui / .settings
tree: 43a49f3f2616d5263a09cfc6f578d996cd75970a [path history] [tgz]
  1. org.eclipse.jdt.core.prefs