diff options
| author |  Jeroen Bédorf <jeroen@minds.ai> | 2017-05-22 01:16:41 -0700 |
|---|---|---|
| committer | Jeroen Bédorf <jeroen@minds.ai> | 2017-05-22 01:16:41 -0700 |
| commit | cb9a9f1818602f0a948fbc836678d2202da0f832 (patch) | |
| tree | ecc18863eefa739086a799f77000cdebc285bd9b /third_party/mpi | |
| parent | c0aebdd931afec2fa4145d25c68994a62e98e112 (diff) | |
Fixed comments
Diffstat (limited to 'third_party/mpi')
0 files changed, 0 insertions, 0 deletions