Revision 7cc3468ce33c2b76cfb67bff0de89ac0e07f7b0c

Committed on 18/01/2020 5:33 pm by Luca Realdi <lr@opencontent.it> [GitHub Diff]

Corregge alcuni piccoli bug di visualizzazione