Merge: Nitin tests
[nit.git] / contrib / nitin / nitin.nit
2017-04-25 Jean Privatnitin: add option --no-prompt to ease testing
2017-04-24 Jean Privatcontrib/nitin: new interactive interpreter proof of...