Merge: typing: new warning `useless-truism` to catch trainees.
[nit.git] / lib / mpi / examples /
2015-08-28 Jean Privatlib: move `examples/mpi` to `lib/mpi/examples`