Revision 0eb9f758a6fe924be7e598d69542cb9678aace7a

Committed on 23/11/2016 2:16 am by Luca Realdi <[email protected]> [GitHub Diff]

corretti operatori
rimossi file non utilizzati