diff options
| author | Luca Milanesio <luca.milanesio@gmail.com> | 2021-11-18 23:24:04 +0000 |
|---|---|---|
| committer | Luca Milanesio <luca.milanesio@gmail.com> | 2021-11-18 23:25:49 +0000 |
| commit | 64bb26bf401365de71690d1a87a2286752b8e987 (patch) | |
| tree | db8a00fa0a507da688dd853f0b66976c12d171b6 /version.bzl | |
| parent | 1198369f61fdadd2a45e0238d9b63f6a2e4e13ff (diff) | |
Use JGit 5.1.15.202012011955-r javadoc to resume release build
The javadoc site for 5.1.16 is not available anymore on the
Eclipse's archive site: use the earlier version to resume the
ability to release Gerrit.
Change-Id: Ib1edf0cdefbed16a87a3187b33c0c4396a89e16f
Diffstat (limited to 'version.bzl')
0 files changed, 0 insertions, 0 deletions