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