Revision 892b7f13bb48878d26f8cb2243dc5002baf0bca2

Committed on 16/11/2021 1:18 am by Luca Realdi <lr@opencontent.it> [GitHub Diff]

Corregge alcuni bug nella produzione del pdf