src/mpi/examples/simple-distributed.cc
changeset 11800 bd9c9abd5d6e
parent 10476 8abf67214c5d
equal deleted inserted replaced
11768:03e260e8cb55 11800:bd9c9abd5d6e