Merge: src: fix null receiver error on useless-signature warning
[nit.git] / lib / mpi / examples /
2015-08-28 Jean Privatlib: move `examples/mpi` to `lib/mpi/examples`