org.eclipse.jgit.packaging/org.eclipse.jgit.source.feature/.settings - jgit - Git at Google

gerrit/jgit/c1525e2aa5e444a2a234de27d6b7189d5d7f715e/./org.eclipse.jgit.packaging/org.eclipse.jgit.source.feature/.settings

tree: 11a832cbaf68a7fe8388e99eb5cb689e396bbe79

org.eclipse.core.resources.prefs
org.eclipse.core.runtime.prefs

Powered by Gitiles| Privacy| Termstxt json