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

gerrit/jgit/952c4e1f3d370caf0d4b20b072d0dbbd4e96c9c7/./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