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/nogo.js | |
| parent | 3afbe5461ac486706f1247473dbdbfae1a08e428 (diff) | |
| parent | 882ed330e6e7761f482f9bfa771cc6693e0f8008 (diff) | |
Merge pull request #2238 from amscanne:nogo
PiperOrigin-RevId: 303010530
Diffstat (limited to 'tools/nogo.js')
| -rw-r--r-- | tools/nogo.js | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/tools/nogo.js b/tools/nogo.js deleted file mode 100644 index fc0a4d1f0..000000000 --- a/tools/nogo.js +++ /dev/null @@ -1,7 +0,0 @@ -{ - "checkunsafe": { - "exclude_files": { - "/external/": "not subject to constraint" - } - } -} |