Google Git
Sign in
gerrit / jgit / 0461ff4f0c7ef505c818dac95286fa852f16eef7 / . / org.eclipse.jgit.ant / .settings
tree: 99824f6650d03b873ec2ace3863051b953a73731 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.pde.core.prefs