David Pursehouse 5f3bd43701 Upgrade JGit to 4.11.0.201803080745-r.93-gcbb2e65db ...

This is a snapshot built from the latest head of JGit's master
branch.

Change-Id: Ib33c025d945472020ef97c30e441bfee7c460f8f

2018-04-19 09:17:44 +02:00

..

org.eclipse.jgit

Simplify local JGit development

2017-03-24 08:36:18 +09:00

org.eclipse.jgit.archive

Simplify local JGit development

2017-03-24 08:36:18 +09:00

org.eclipse.jgit.http.server

Simplify local JGit development

2017-03-24 08:36:18 +09:00

org.eclipse.jgit.junit

Simplify local JGit development

2017-03-24 08:36:18 +09:00

BUILD

Simplify local JGit development

2017-03-24 08:36:18 +09:00

jgit.bzl

Upgrade JGit to 4.11.0.201803080745-r.93-gcbb2e65db

2018-04-19 09:17:44 +02:00