Google Git
Sign in
gerrit / jgit / refs/heads/stable-0.7 / . / org.eclipse.jgit.http.test / .settings
tree: fe9e257d2662ea8dbafe4410e19e0711cbb1e19c [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs