]> source.dussan.org Git - jgit.git/commitdiff
Merge "Add mergetool merge feature (execute external tool)"
authorAndrey Loskutov <loskutov@gmx.de>
Fri, 27 May 2022 05:02:15 +0000 (01:02 -0400)
committerGerrit Code Review @ Eclipse.org <gerrit@eclipse.org>
Fri, 27 May 2022 05:02:15 +0000 (01:02 -0400)

Trivial merge