org.eclipse.jgit.packaging/org.eclipse.jgit.updatesite/.settings - jgit - Git at Google

gerrit/jgit/8d1ac7a769b3fc4725537376e0e14d3b96ebbe3d/./org.eclipse.jgit.packaging/org.eclipse.jgit.updatesite/.settings

tree: 4e5fe92db2734f66fc65cec4088d2339e033d6cb

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

Powered by Gitiles| Privacy| Termstxt json