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