Revision 0eb9f758a6fe924be7e598d69542cb9678aace7a

Committed on 23/11/2016 2:16 am by Luca Realdi <lr@opencontent.it> [GitHub Diff]

corretti operatori
rimossi file non utilizzati