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