Merge commit 'b7e675f'
[nit.git] / tests / nitmetrics.args
1 --all base_simple3.nit -d $WRITE