Revision 7cc3468ce33c2b76cfb67bff0de89ac0e07f7b0c

Committed on 18/01/2020 5:33 pm by Luca Realdi <[email protected]> [GitHub Diff]

Corregge alcuni piccoli bug di visualizzazione