Google Git
Sign in
gerrit / jgit / 19a366d532f829bb4955f7344b68d9b2c9514fc7 / . / org.eclipse.jgit.packaging / org.eclipse.jgit.updatesite / .settings
tree: f82d364dccb2c89475874af88ad23a7c3eb0061d [path history] [tgz]
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.core.runtime.prefs
  3. org.eclipse.mylyn.tasks.ui.prefs
  4. org.eclipse.mylyn.team.ui.prefs