![]() If the repository is empty, we have no HEAD branch, which means we can't test to see if the HEAD is detached and should be advertised as a .have line. Change-Id: I6e85f836e7db057cede812d0d6c1aecbd6cbe6c5 Signed-off-by: Shawn O. Pearce <spearce@spearce.org> |
||
---|---|---|
.. | ||
.settings | ||
META-INF | ||
findBugs | ||
src/org/eclipse/jgit | ||
.classpath | ||
.fbprefs | ||
.gitignore | ||
.project | ||
build.properties | ||
plugin.properties | ||
pom.xml |