mirrors
/
jgit
mirror of https://github.com/eclipse/jgit.git


			
				
					
						
						
							123456789
							package(default_visibility = ["//visibility:public"])

java_library(
    name = "ui",
    srcs = glob(["src/**/*.java"]),
    resource_strip_prefix = "org.eclipse.jgit.ui/resources",
    resources = glob(["resources/**"]),
    deps = ["//org.eclipse.jgit:jgit"],
)