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