Revision d95a520bdce701357016d54f9b34ce9869f9c7bf
Committed on 12/04/2021 4:31 am by
Luca Realdi <lr@opencontent.it> [GitHub Diff]
Corregge un possibile errore nel salvataggio della matrice dei contatti (e introduce uno script per il fix del pregresso)
