a4a00ea8f1
This permits callers to modify the meaning of userHome, which may be useful if their application allows the user to select different user settings locations. Bug: 337101 Change-Id: I076815edeec1c20dea028f7840be3930337dff77 Signed-off-by: Shawn O. Pearce <spearce@spearce.org> |
||
---|---|---|
.. | ||
.settings | ||
META-INF | ||
findBugs | ||
resources/org/eclipse/jgit | ||
src/org/eclipse/jgit | ||
.classpath | ||
.fbprefs | ||
.gitignore | ||
.project | ||
about.html | ||
build.properties | ||
plugin.properties | ||
pom.xml |