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