Merge: toolcontext: introduce --share-dir
[nit.git] / lib / mpi / examples /
2015-08-28 Jean Privatlib: move `examples/mpi` to `lib/mpi/examples`