diff options
Diffstat (limited to 'org.eclipse.jgit.http.server')
| -rw-r--r-- | org.eclipse.jgit.http.server/BUCK | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/org.eclipse.jgit.http.server/BUCK b/org.eclipse.jgit.http.server/BUCK new file mode 100644 index 0000000000..3743557aa5 --- /dev/null +++ b/org.eclipse.jgit.http.server/BUCK @@ -0,0 +1,10 @@ +java_library( + name = 'jgit-servlet', + srcs = glob(['src/**']), + resources = glob(['resources/**']), + provided_deps = [ + '//org.eclipse.jgit:jgit', + '//lib:servlet-api', + ], + visibility = ['PUBLIC'], +) |