Revision 8bb766f291aa0d8e870ce66726d5369c06d2750f

Committed on 10/04/2019 12:15 am by Luca Realdi <lr@opencontent.it> [GitHub Diff]

Add license