Revision 207341512e43b9885df2592e6000efadbe0506e0

Committed on 28/10/2015 7:42 am by Luca Realdi <luca.realdi@opencontent.it> [GitHub Diff]

remove cli output