Google Git
Sign in
gerrit / jgit / 83c172f0f7d1fb5ceb14fd58704ae18dc59a1e33 / . / 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