Google Git
Sign in
gerrit/jgit/92e739413d8814918d9bb037da2b457554c86f9c/./org.eclipse.jgit.http.test/.settings
tree: fe9e257d2662ea8dbafe4410e19e0711cbb1e19c
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs