online_ide: update to the new API of the loader
[nit.git] / lib / mpi / examples / Makefile
2015-08-28 Jean Privatlib: move `examples/mpi` to `lib/mpi/examples`