eb4f5d46ff
This is a recent snapshot built off JGit's master branch, including the fixes that went into 4.1.2.201602141800-r which we have already upgraded to on stable-2.12. Change-Id: I9cb311906957f4cbc00e0d168abfe512c070dca1
5 lines
134 B
Plaintext
5 lines
134 B
Plaintext
include_defs('//lib/maven.defs')
|
|
|
|
REPO = GERRIT # Leave here even if set to MAVEN_CENTRAL.
|
|
VERS = '4.2.0.201601211800-r.136-g8efdaaf'
|