diff options
| author |  Jeroen Bédorf <jeroen@minds.ai> | 2017-05-21 01:49:48 -0700 |
|---|---|---|
| committer | Jeroen Bédorf <jeroen@minds.ai> | 2017-05-21 01:49:48 -0700 |
| commit | c0aebdd931afec2fa4145d25c68994a62e98e112 (patch) | |
| tree | af6713ebeb3ed14eabe8b46012853c42a2c1ee28 /third_party/mpi/BUILD | |
| parent | a4a449b3db8c33f0404a838a247736c2c9b5e91b (diff) | |
Fix ci_sanity errors
Diffstat (limited to 'third_party/mpi/BUILD')
| -rw-r--r-- | third_party/mpi/BUILD | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/third_party/mpi/BUILD b/third_party/mpi/BUILD index 5f722905b3..ed63d00010 100644 --- a/third_party/mpi/BUILD +++ b/third_party/mpi/BUILD @@ -1,4 +1,3 @@ -licenses(["notice"]) # Apache 2.0 filegroup( name = "all_files", |