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

gerrit/jgit/80fe78969053637a06c34d4a09b88dfc5d075e92/./org.eclipse.jgit.packaging/org.eclipse.jgit.feature/.settings

tree: 11a832cbaf68a7fe8388e99eb5cb689e396bbe79

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

Powered by Gitiles| Privacy| Termstxt json