]> source.dussan.org Git - jgit.git/commitdiff
Merge "Only hide gitdir if the repository isn't bare" into stable-3.5
authorChristian Halstrick <christian.halstrick@sap.com>
Mon, 13 Oct 2014 15:57:55 +0000 (11:57 -0400)
committerGerrit Code Review @ Eclipse.org <gerrit@eclipse.org>
Mon, 13 Oct 2014 15:57:55 +0000 (11:57 -0400)

Trivial merge