]> source.dussan.org Git - jgit.git/commitdiff
projects / jgit.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: de23410 527b9ed)
Merge "Update API baseline for 5.7 to 5.6.0.201912101111-r"
authorDavid Pursehouse <david.pursehouse@gmail.com>
Thu, 12 Dec 2019 07:55:08 +0000 (02:55 -0500)
committerGerrit Code Review @ Eclipse.org <gerrit@eclipse.org>
Thu, 12 Dec 2019 07:55:08 +0000 (02:55 -0500)

Trivial merge
JGit, the Java implementation of git: https://github.com/eclipse-jgit/jgit