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
This commit is contained in:
parent
26fb902345
commit
d798193755
@ -2,7 +2,7 @@ load("//tools/bzl:maven_jar.bzl", "GERRIT", "MAVEN_CENTRAL", "MAVEN_LOCAL", "mav
|
|||||||
|
|
||||||
_JGIT_VERS = "5.0.1.201806211838-r"
|
_JGIT_VERS = "5.0.1.201806211838-r"
|
||||||
|
|
||||||
_DOC_VERS = "5.0.0.201806131550-r" # Set to _JGIT_VERS unless using a snapshot
|
_DOC_VERS = _JGIT_VERS # Set to _JGIT_VERS unless using a snapshot
|
||||||
|
|
||||||
JGIT_DOC_URL = "http://download.eclipse.org/jgit/site/" + _DOC_VERS + "/apidocs"
|
JGIT_DOC_URL = "http://download.eclipse.org/jgit/site/" + _DOC_VERS + "/apidocs"
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user