Revision c56205a64e051350b868787bf6bb8d3124140365

Committed on 08/08/2022 5:52 am by Luca Realdi <[email protected]> [GitHub Diff]

Corregge un bug sul selettore degli operatori