blob: 9d5673b14ae072e4da9701b71a66633cf5da6ec7 (
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/**/*.java"]),
resource_strip_prefix = "org.eclipse.jgit.http.server/resources",
resources = glob(["resources/**"]),
deps = [
"//lib:servlet-api",
# We want these deps to be provided_deps
"//org.eclipse.jgit:jgit",
],
)
|