opendev/gerrit
Code Issues Proposed changes
Files
655214054c3488841a4c7a9d3d54b43a293fb35d
gerrit/lib/jgit
History
David Pursehouse d798193755 JGit: Use Javadoc from 5.0.1.201806211838-r 
When we upgraded to 5.0.1.201806211838-r the Javadoc was not
available, so the previous version was used.

Now it's available, so we can use it.

Change-Id: Ic1b244177964d6a15d0179e3bf5223ff7fc07cd8
2018-07-12 18:16:38 +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
JGit: Use Javadoc from 5.0.1.201806211838-r
2018-07-12 18:16:38 +09:00