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