Merge: nitester over MPI and jenkins
[nit.git] / src / nitpick.nit
2014-09-08 Jean Privatsrc: new tool nitpick