]> source.dussan.org Git - jgit.git/commitdiff
Merge "Use project names instead of paths for the submodule name"
authorJonathan Nieder <jrn@google.com>
Fri, 27 Jul 2018 22:15:14 +0000 (18:15 -0400)
committerGerrit Code Review @ Eclipse.org <gerrit@eclipse.org>
Fri, 27 Jul 2018 22:15:14 +0000 (18:15 -0400)

Trivial merge