gerrit/lib/JGIT_VERSION
Dave Borowitz 2ae2dcec53 Update JGit to 4.3.0.201604071810-r.23-gc9b0028
Change-Id: I9df04e3ddf840481a3796fccb4f4d845e538b0a8
2016-05-03 19:56:26 -04:00

5 lines
133 B
Plaintext

include_defs('//lib/maven.defs')
REPO = GERRIT # Leave here even if set to MAVEN_CENTRAL.
VERS = '4.3.0.201604071810-r.23-gc9b0028'