blob: 19992086bd97ee74aece4262b98b3939abca25ec (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
package(default_visibility = ["//visibility:public"])
java_library(
name = "jgit-servlet",
srcs = glob(["src/**"]),
resource_strip_prefix = "org.eclipse.jgit.http.server/resources",
resources = glob(["resources/**"]),
deps = [
# We want these deps to be provided_deps
"//org.eclipse.jgit:jgit",
"@servlet_api_3_1//jar",
],
)
|