| commit | dec3da19ee111932c15760b6f4b70fe02d9b62bd | [log] [tgz] |
|---|---|---|
| author | David Pursehouse <dpursehouse@collab.net> | Fri Jul 13 07:47:03 2018 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Fri Jul 13 07:47:03 2018 +0000 |
| tree | d7e5a1bd95a027b6c4803b6766576cfdf2831505 | |
| parent | ac34bb051c9b777f7f30f091180a0583a19700f8 [diff] | |
| parent | d798193755bab100ef0e3b6293cc4d1eeeaba079 [diff] |
Merge "JGit: Use Javadoc from 5.0.1.201806211838-r"
diff --git a/lib/jgit/jgit.bzl b/lib/jgit/jgit.bzl index be90acb..384469c 100644 --- a/lib/jgit/jgit.bzl +++ b/lib/jgit/jgit.bzl
@@ -2,7 +2,7 @@ _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"