diff options
| author | gVisor bot <gvisor-bot@google.com> | 2020-03-25 17:55:14 -0700 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2020-03-25 17:55:14 -0700 |
| commit | ce0a69ea975209d96317d70096c9cb5584ae7e54 (patch) | |
| tree | 55426c6f1d0a7d46be0d9855d3dbd5eefc943a15 /tools/BUILD | |
| parent | 3afbe5461ac486706f1247473dbdbfae1a08e428 (diff) | |
| parent | 882ed330e6e7761f482f9bfa771cc6693e0f8008 (diff) | |
Merge pull request #2238 from amscanne:nogo
PiperOrigin-RevId: 303010530
Diffstat (limited to 'tools/BUILD')
| -rw-r--r-- | tools/BUILD | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/BUILD b/tools/BUILD index e73a9c885..ba3506c04 100644 --- a/tools/BUILD +++ b/tools/BUILD @@ -1,3 +1,3 @@ package(licenses = ["notice"]) -exports_files(["nogo.js"]) +exports_files(["nogo.json"]) |