aboutsummaryrefslogtreecommitdiffhomepage
path: root/third_party/mpi
ModeNameSize
-rw-r--r--.gitignore17logplain
-rw-r--r--BUILD269logplain
-rw-r--r--mpi.bzl532logplain