]> source.dussan.org Git - jgit.git/commitdiff
Merge "Support remove-project node in the manifest parser"
authorJonathan Nieder <jrn@google.com>
Tue, 21 Aug 2018 02:14:35 +0000 (22:14 -0400)
committerGerrit Code Review @ Eclipse.org <gerrit@eclipse.org>
Tue, 21 Aug 2018 02:14:35 +0000 (22:14 -0400)

Trivial merge