Merge branch 'dump_rta'
[nit.git] / lib / mnit / app.nit
2013-08-25 Alexis Laferrièrelib: intro abstract mnit lib