diff options
Diffstat (limited to 'tools/BUILD')
| -rw-r--r-- | tools/BUILD | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/BUILD b/tools/BUILD deleted file mode 100644 index 34b950644..000000000 --- a/tools/BUILD +++ /dev/null @@ -1 +0,0 @@ -package(licenses = ["notice"]) |