Dave Borowitz c204fa11b3 Update JGit to 4.7.0.201704051617-r.37-gc80d8c590 ...

Change-Id: Ic77a2c7bb9bc63dd7358460fe978417a61210770

2017-04-13 10:34:00 -04: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

Update JGit to 4.7.0.201704051617-r.37-gc80d8c590

2017-04-13 10:34:00 -04:00