Google Git
Sign in
gerrit/jgit/8d5510d51c27d9fccbeb9cfd82f218a5c3ebf530/./org.eclipse.jgit/.settings
tree: 56c350aef14f05fe922cdf2f19efa525419d33de
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.core.runtime.prefs
  3. org.eclipse.jdt.core.prefs
  4. org.eclipse.jdt.ui.prefs