Files
gerrit/lib/JGIT_VERSION
David Pursehouse c7df2fe330 Upgrade JGit to version v4.4.1.201607150455-r
Change-Id: Ic0f0741f9bed06815c2681943b461ce1a71c363b
2016-07-20 17:31:01 +09:00

5 lines
128 B
Plaintext

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