gerrit/lib/jgit
David Pursehouse 957b95c7fd Upgrade JGit to 5.1.1.201809181055-r
This release introduces some more deprecations, which are not fixed
in this commit but will be addressed in follow-ups.

Change-Id: I13acd56e95410ab23dddb8883ad530d427a00c89
2018-09-19 15:42:31 +09:00
..
org.eclipse.jgit Bazel: Harmonize names of external repositories 2018-06-13 11:38:03 +09:00
org.eclipse.jgit.archive Bazel: Harmonize names of external repositories 2018-06-13 11:38:03 +09:00
org.eclipse.jgit.http.server Bazel: Harmonize names of external repositories 2018-06-13 11:38:03 +09:00
org.eclipse.jgit.junit Bazel: Harmonize names of external repositories 2018-06-13 11:38:03 +09:00
BUILD Simplify local JGit development 2017-03-24 08:36:18 +09:00
jgit.bzl Upgrade JGit to 5.1.1.201809181055-r 2018-09-19 15:42:31 +09:00