Merge branch 'main' of https://www.ict.inaf.it/gitlab/davide.ricci/software-di-controllo

File changed.

Contains only whitespace changes.