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

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