mirror of
https://github.com/sourcegraph/sourcegraph.git
synced 2026-02-06 18:51:59 +00:00
9f9bf43927
There's only one version now, so we can merge these two. Another one on the road to getting rid of the enterprise/non-enterprise distinction entirely!
6 lines
105 B
Python
6 lines
105 B
Python
filegroup(
|
|
name = "scripts",
|
|
srcs = glob(["*.sh"]),
|
|
visibility = ["//cmd/server:__pkg__"],
|
|
)
|