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
17 lines
387 B
Python
17 lines
387 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 = 'b493401b9778cdc38f7c08f111c6385a434b2ac2',
|
|
license = 'jgit',
|
|
repository = REPO,
|
|
deps = ['@jgit//org.eclipse.jgit:jgit'],
|
|
unsign = True,
|
|
exclude = [
|
|
'about.html',
|
|
'plugin.properties',
|
|
],
|
|
)
|