diff options
| author |  Jeroen Bédorf <jeroen@minds.ai> | 2017-05-22 01:47:16 -0700 |
|---|---|---|
| committer | Jeroen Bédorf <jeroen@minds.ai> | 2017-05-22 01:47:16 -0700 |
| commit | 8ef441b150c6e309cb73f7b68cf91031a3d3e28b (patch) | |
| tree | ded4be2fa7e9c493915e6a55678da8bc62be9d9e /third_party/mpi/mpi.bzl | |
| parent | cb9a9f1818602f0a948fbc836678d2202da0f832 (diff) | |
Fix sanity license test
Diffstat (limited to 'third_party/mpi/mpi.bzl')
0 files changed, 0 insertions, 0 deletions