Google Git
Sign in
gerrit/jgit/a3aa43ecb164d13679b9ee33fb8626c82dea7f8c/./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