blob: 3743557aa544b35b1c947ee956cc9e77a70c7084 (
plain)
1
2
3
4
5
6
7
8
9
10
|
java_library(
name = 'jgit-servlet',
srcs = glob(['src/**']),
resources = glob(['resources/**']),
provided_deps = [
'//org.eclipse.jgit:jgit',
'//lib:servlet-api',
],
visibility = ['PUBLIC'],
)
|