Files
gerrit/lib/jgit/org.eclipse.jgit.http.server/BUCK
Dave Borowitz 2ae2dcec53 Update JGit to 4.3.0.201604071810-r.23-gc9b0028
Change-Id: I9df04e3ddf840481a3796fccb4f4d845e538b0a8
2016-05-03 19:56:26 -04:00

17 lines
391 B
Python

include_defs('//lib/maven.defs')
include_defs('//lib/JGIT_VERSION')
maven_jar(
name = 'jgit-servlet',
id = 'org.eclipse.jgit:org.eclipse.jgit.http.server:' + VERS,
sha1 = 'bb01841b74a48abe506c2e44f238e107188e6c8f',
license = 'jgit',
repository = REPO,
deps = ['//lib/jgit/org.eclipse.jgit:jgit'],
unsign = True,
exclude = [
'about.html',
'plugin.properties',
],
)