Google Git
Sign in
gerrit/jgit/0a39fb2ab65dfdbfbf8022cfdfc3975eba7ac6f2/./org.eclipse.jgit.ant/.settings
tree: 99824f6650d03b873ec2ace3863051b953a73731
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.pde.core.prefs