diff options
| author | Luca Milanesio <luca.milanesio@gmail.com> | 2020-10-23 00:32:48 +0100 |
|---|---|---|
| committer | Luca Milanesio <luca.milanesio@gmail.com> | 2020-10-23 21:27:18 +0000 |
| commit | 586d6e330825fbaa03c61eeca356d75d2fdc8c93 (patch) | |
| tree | 4fe918dba2e79d0ea26c2a4bcf78a32d118e0a78 | |
| parent | a008f3eb038b389732e0332e74665c07a852af87 (diff) | |
Fetch JGit JavaDoc from archive.eclipse.org
Change-Id: I363ad0df632fdb25236b3d0a0c06fb15dbf8acf2
| -rw-r--r-- | lib/jgit/jgit.bzl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/jgit/jgit.bzl b/lib/jgit/jgit.bzl index ed82c56269..997879edf1 100644 --- a/lib/jgit/jgit.bzl +++ b/lib/jgit/jgit.bzl @@ -4,7 +4,7 @@ _JGIT_VERS = "5.1.13.202002110435-r" _DOC_VERS = _JGIT_VERS # Set to _JGIT_VERS unless using a snapshot -JGIT_DOC_URL = "https://download.eclipse.org/jgit/site/" + _DOC_VERS + "/apidocs" +JGIT_DOC_URL = "https://archive.eclipse.org/jgit/site/" + _DOC_VERS + "/apidocs" _JGIT_REPO = MAVEN_CENTRAL # Leave here even if set to MAVEN_CENTRAL. |